nixsearch
nixsearch / pkg / ocamlPackages.z3 / 4.15.3

ocamlPackages.z3 4.15.3

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

Pin this version

$ devbox add ocamlPackages.z3@4.15.3
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09 
$ nix shell github:NixOS/nixpkgs/01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09#ocamlPackages.z3

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.z3 01b6809f7f9d
out
/nix/store/6pzyi6f5fql44bm1vw54yjn41x1pw2vw-ocaml5.3.0-z3-4.15.3
aarch64-linux
Linux · arm64		 ocamlPackages.z3 01b6809f7f9d
out
/nix/store/bhnpxcvj5fc6d45q6lxszrivij1f26nn-ocaml5.3.0-z3-4.15.3
x86_64-darwin
macOS · x86-64		 ocamlPackages.z3 01b6809f7f9d
out
/nix/store/9n2kwi2dviqkicsfg6m8ijq7hgks3nsy-ocaml5.3.0-z3-4.15.3
x86_64-linux
Linux · x86-64		 ocamlPackages.z3 01b6809f7f9d
out
/nix/store/1hmydp7yw8rpcajwd60qak7gknhh1ijd-ocaml5.3.0-z3-4.15.3
← newer: 4.15.4 all 17 releases older: 4.15.2 →

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