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

ocamlPackages.aeneas 2026.08.06-daa85d7

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

Pin this version

$ devbox add ocamlPackages.aeneas@2026.08.06-daa85d7
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit044bfe75bfe4c7bbe043dc17b5e42ea823b84a09 
$ nix shell github:NixOS/nixpkgs/044bfe75bfe4c7bbe043dc17b5e42ea823b84a09#ocamlPackages.aeneas

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.aeneas 044bfe75bfe4
out
/nix/store/dsa4hqf93n56508grl3jp1hz8mahkf2w-ocaml5.4.1-aeneas-2026.08.06-daa85d7
aarch64-linux
Linux · arm64		 ocamlPackages.aeneas 044bfe75bfe4
out
/nix/store/4lfd4a4x6rs3ag8gr6nqm9pwqd4j7c87-ocaml5.4.1-aeneas-2026.08.06-daa85d7
x86_64-linux
Linux · x86-64		 ocamlPackages.aeneas 044bfe75bfe4
out
/nix/store/57rklra47dg0iwm21ba08fjwvr292w0y-ocaml5.4.1-aeneas-2026.08.06-daa85d7
← newer: 2026.08.15-daa85d7 all 7 releases older: 2026.08.03-daa85d7 →

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