nixsearch / pkg / ocamlPackages.aeneas / 2026.06.22
ocamlPackages.aeneas 2026.06.22
Verification toolchain for Rust programs
Linux and macOS
last changed
Pin this version
$ devbox add ocamlPackages.aeneas@2026.06.22
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitf76e4c7b1840704deda511ab34f37b829f6b5636
$ nix shell github:NixOS/nixpkgs/f76e4c7b1840704deda511ab34f37b829f6b5636#ocamlPackages.aeneas
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
ocamlPackages.aeneas |
f76e4c7b1840 | out/nix/store/3v4k5yv0lw69bnfl5j6wbf6nmghqdrla-ocaml5.4.1-aeneas-2026.06.22 |
||
aarch64-linuxLinux · arm64 |
ocamlPackages.aeneas |
f76e4c7b1840 | out/nix/store/zrccx7aw1p0v2zspx1jrp6bfm2228mdk-ocaml5.4.1-aeneas-2026.06.22 |
||
x86_64-darwinmacOS · x86-64 |
ocamlPackages.aeneas |
f76e4c7b1840 | out/nix/store/6dpcxjkb9mn4qd6ppmxd8q3ydnw9xpcr-ocaml5.4.1-aeneas-2026.06.22 |
||
x86_64-linuxLinux · x86-64 |
ocamlPackages.aeneas |
f76e4c7b1840 | out/nix/store/58fk80x5fd5qcxg976fdz33v406lgigw-ocaml5.4.1-aeneas-2026.06.22 |
JSON: /v2/pkg?name=ocamlPackages.aeneas · /v2/resolve?name=ocamlPackages.aeneas&version=2026.06.22