nixsearch
nixsearch / pkg / ocamlPackages.z3 / 4.8.10

ocamlPackages.z3 4.8.10

Z3 Theorem Prover (OCaml API)
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages.z3@4.8.10
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commitb5182c214fac1e6db9f28ed8a7cfc2d0c255c763 
$ nix shell github:NixOS/nixpkgs/b5182c214fac1e6db9f28ed8a7cfc2d0c255c763#ocamlPackages.z3

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.z3 b5182c214fac
x86_64-darwin
macOS · x86-64		 ocamlPackages.z3 b5182c214fac
x86_64-linux
Linux · x86-64		 ocamlPackages.z3 b5182c214fac
← newer: 4.8.12 all 17 releases older: 4.8.9 →

JSON: /v2/pkg?name=ocamlPackages.z3 · /v2/resolve?name=ocamlPackages.z3&version=4.8.10