nixsearch
nixsearch / pkg / ocamlPackages.aeneas / 2026.07.01

ocamlPackages.aeneas 2026.07.01

Verification toolchain for Rust programs
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages.aeneas@2026.07.01
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit389ed85304b281ca7f306cf8a1eb4378651ca44e 
$ nix shell github:NixOS/nixpkgs/389ed85304b281ca7f306cf8a1eb4378651ca44e#ocamlPackages.aeneas
systemsx86_64-darwin commit0c190cd98e1f30cdbeff0ca149b2b17564a4a30e 
$ nix shell github:NixOS/nixpkgs/0c190cd98e1f30cdbeff0ca149b2b17564a4a30e#ocamlPackages.aeneas

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.aeneas 389ed85304b2
out
/nix/store/hp1kl003pv7c2qwa9mvdd9ip5acxhabv-ocaml5.4.1-aeneas-2026.07.01
aarch64-linux
Linux · arm64		 ocamlPackages.aeneas 389ed85304b2
out
/nix/store/i14bhnw9bdi71c3k72xl40a9xb4gyw60-ocaml5.4.1-aeneas-2026.07.01
x86_64-darwin
macOS · x86-64		 ocamlPackages.aeneas 0c190cd98e1f
out
/nix/store/hmc4n4h6c13f9pgvq3pa495gp6h9d7bg-ocaml5.4.1-aeneas-2026.07.01
x86_64-linux
Linux · x86-64		 ocamlPackages.aeneas 389ed85304b2
out
/nix/store/d67j5js77xvx98h3simfgkwjfs1m9kq5-ocaml5.4.1-aeneas-2026.07.01
← newer: 2026.07.16-bc2eb6f all 7 releases older: 2026.06.22 →

JSON: /v2/pkg?name=ocamlPackages.aeneas · /v2/resolve?name=ocamlPackages.aeneas&version=2026.07.01