nixsearch
nixsearch / pkg / ocamlPackages.aeneas / 2026.08.03-daa85d7

ocamlPackages.aeneas 2026.08.03-daa85d7

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

Pin this version

$ devbox add ocamlPackages.aeneas@2026.08.03-daa85d7
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitafb4584a80bbf779ce0f691509ff902d188c2b3d 
$ nix shell github:NixOS/nixpkgs/afb4584a80bbf779ce0f691509ff902d188c2b3d#ocamlPackages.aeneas

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.aeneas afb4584a80bb
out
/nix/store/z2cglf6n90yn5b8lhdfrzwzi4ix8srmg-ocaml5.4.1-aeneas-2026.08.03-daa85d7
aarch64-linux
Linux · arm64		 ocamlPackages.aeneas afb4584a80bb
out
/nix/store/hy4fi1p13gcv5pvimxjbxpwqkis44pxv-ocaml5.4.1-aeneas-2026.08.03-daa85d7
x86_64-linux
Linux · x86-64		 ocamlPackages.aeneas afb4584a80bb
out
/nix/store/wg8wwqafh48ick9pczxi353if808f0ph-ocaml5.4.1-aeneas-2026.08.03-daa85d7
← newer: 2026.08.06-daa85d7 all 7 releases older: 2026.07.16-bc2eb6f →

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