nixsearch
nixsearch / pkg / ocamlPackages.z3 / 4.13.4

ocamlPackages.z3 4.13.4

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

Pin this version

$ devbox add ocamlPackages.z3@4.13.4
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit507b63021ada5fee621b6ca371c4fca9ca46f52c 
$ nix shell github:NixOS/nixpkgs/507b63021ada5fee621b6ca371c4fca9ca46f52c#ocamlPackages.z3

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.z3 507b63021ada
out
/nix/store/1rq7rd3bysjz298ly30a3n41r6ym7pzn-ocaml5.3.0-z3-4.13.4
aarch64-linux
Linux · arm64		 ocamlPackages.z3 507b63021ada
out
/nix/store/g462alsz3glwy2fmmp3wa5zffx5f4f4c-ocaml5.3.0-z3-4.13.4
x86_64-darwin
macOS · x86-64		 ocamlPackages.z3 507b63021ada
out
/nix/store/0vhl7jy9biv29qwhvbyxq2jc2ygdn5vb-ocaml5.3.0-z3-4.13.4
x86_64-linux
Linux · x86-64		 ocamlPackages.z3 507b63021ada
out
/nix/store/vh8np9yn5a124rqkinr0jsd3l8kjql9x-ocaml5.3.0-z3-4.13.4
← newer: 4.14.1 all 17 releases older: 4.8.17 →

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