nixsearch
nixsearch / pkg / ocamlPackages_latest.smtml / 0.18.0

ocamlPackages_latest.smtml 0.18.0

SMT solver frontend for OCaml
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages_latest.smtml@0.18.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit61db79b0c6b838d9894923920b612048e1201926 
$ nix shell github:NixOS/nixpkgs/61db79b0c6b838d9894923920b612048e1201926#ocamlPackages_latest.smtml

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages_latest.smtml 61db79b0c6b8
out
/nix/store/q8scm544hims2bfl8wvyiwmr2y9s77x1-ocaml5.4.0-smtml-0.18.0
aarch64-linux
Linux · arm64		 ocamlPackages_latest.smtml 61db79b0c6b8
out
/nix/store/n6a00zmwbrwfxv9lqbyal1iraj166v2g-ocaml5.4.0-smtml-0.18.0
x86_64-darwin
macOS · x86-64		 ocamlPackages_latest.smtml 61db79b0c6b8
out
/nix/store/mv5rba4zg1ijf2d39fs4x4sdwwcrl2ls-ocaml5.4.0-smtml-0.18.0
x86_64-linux
Linux · x86-64		 ocamlPackages_latest.smtml 61db79b0c6b8
out
/nix/store/rv3bvawkg7rcjlvpnxjl5cjs9y7091p9-ocaml5.4.0-smtml-0.18.0
← newer: 0.19.0 all 4 releases

JSON: /v2/pkg?name=ocamlPackages_latest.smtml · /v2/resolve?name=ocamlPackages_latest.smtml&version=0.18.0