nixsearch / pkg / ocamlPackages.aeneas / 2026.06.14
ocamlPackages.aeneas 2026.06.14
Verification toolchain for Rust programs
Linux and macOS
last changed
Pin this version
$ devbox add ocamlPackages.aeneas@2026.06.14
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitb3c092d3c36d91e2f61f3dfb39a159f180a56659
$ nix shell github:NixOS/nixpkgs/b3c092d3c36d91e2f61f3dfb39a159f180a56659#ocamlPackages.aeneas
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
ocamlPackages.aeneas |
b3c092d3c36d | out/nix/store/1v3l09348jpm9bdqlzi769dwmcrznck4-ocaml5.4.1-aeneas-2026.06.14 |
||
aarch64-linuxLinux · arm64 |
ocamlPackages.aeneas |
b3c092d3c36d | out/nix/store/b7f0a60dahhxb7h6lxp48q0fkdnr02bx-ocaml5.4.1-aeneas-2026.06.14 |
||
x86_64-darwinmacOS · x86-64 |
ocamlPackages.aeneas |
b3c092d3c36d | out/nix/store/xxg5lhrcncgbvbl67kx9ncjj1mcwb2hq-ocaml5.4.1-aeneas-2026.06.14 |
||
x86_64-linuxLinux · x86-64 |
ocamlPackages.aeneas |
b3c092d3c36d | out/nix/store/y4q245gy2pxqf6l924wkskx0qnv8clbi-ocaml5.4.1-aeneas-2026.06.14 |
JSON: /v2/pkg?name=ocamlPackages.aeneas · /v2/resolve?name=ocamlPackages.aeneas&version=2026.06.14