nixsearch
nixsearch / pkg / ocamlPackages.smtml / 0.7.0

ocamlPackages.smtml 0.7.0

SMT solver frontend for OCaml
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages.smtml@0.7.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commita421ac6595024edcfbb1ef950a3712b89161c359 
$ nix shell github:NixOS/nixpkgs/a421ac6595024edcfbb1ef950a3712b89161c359#ocamlPackages.smtml

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.smtml a421ac659502
out
/nix/store/1psy3hxcglyb6655qpi962ap19qid3yk-ocaml5.3.0-smtml-0.7.0
aarch64-linux
Linux · arm64		 ocamlPackages.smtml a421ac659502
out
/nix/store/rwfgb6zsipzhi682i52pwahy978msjsq-ocaml5.3.0-smtml-0.7.0
x86_64-darwin
macOS · x86-64		 ocamlPackages.smtml a421ac659502
out
/nix/store/hn6nxfwcfjqdlabs4ms30pd5bsmkh864-ocaml5.3.0-smtml-0.7.0
x86_64-linux
Linux · x86-64		 ocamlPackages.smtml a421ac659502
out
/nix/store/fgp1m0na7ywb5zvxvczpy54v84wn387w-ocaml5.3.0-smtml-0.7.0
← newer: 0.8.0 all 15 releases

JSON: /v2/pkg?name=ocamlPackages.smtml · /v2/resolve?name=ocamlPackages.smtml&version=0.7.0