nixsearch
nixsearch / pkg / ocamlPackages.aeneas / 2026.07.16-bc2eb6f

ocamlPackages.aeneas 2026.07.16-bc2eb6f

Verification toolchain for Rust programs
Linux and macOS (Apple Silicon only) last changed

Pin this version

$ devbox add ocamlPackages.aeneas@2026.07.16-bc2eb6f
systemsaarch64-darwin, aarch64-linux, x86_64-linux commita5cbcfe954791221bfffe2307f7d1a1bf61a871e 
$ nix shell github:NixOS/nixpkgs/a5cbcfe954791221bfffe2307f7d1a1bf61a871e#ocamlPackages.aeneas

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.aeneas a5cbcfe95479
out
/nix/store/8ckknrkzf10ylakkfr242ln9zfr1ys1j-ocaml5.4.1-aeneas-2026.07.16-bc2eb6f
aarch64-linux
Linux · arm64		 ocamlPackages.aeneas a5cbcfe95479
out
/nix/store/6paaqgsysjm41zclnz73mv9grhaqh2yq-ocaml5.4.1-aeneas-2026.07.16-bc2eb6f
x86_64-linux
Linux · x86-64		 ocamlPackages.aeneas a5cbcfe95479
out
/nix/store/i72ii81jyvph18q9ii3f35znpn84caja-ocaml5.4.1-aeneas-2026.07.16-bc2eb6f
← newer: 2026.08.03-daa85d7 all 7 releases older: 2026.07.01 →

JSON: /v2/pkg?name=ocamlPackages.aeneas · /v2/resolve?name=ocamlPackages.aeneas&version=2026.07.16-bc2eb6f