nixsearch / pkg / ocamlPackages.aeneas

ocamlPackages.aeneas

Verification toolchain for Rust programs

Apache-2.0 github.com ocamlPackages.aeneas 7 releases newest changed 1 day ago

version2026.08.15-daa85d7 attributeocamlPackages.aeneas revb6c8664de9b6cc07fe5666a29f91884ba81197c4 2026-09-29 · one commit for every system systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux

$ devbox add ocamlPackages.aeneas@2026.08.15-daa85d7

$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#ocamlPackages.aeneas

JSON: /v2/resolve?name=ocamlPackages.aeneas&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date
2026.08.15-daa85d7resolved	✓	✓	–	✓	`ocamlPackages.aeneas`	b6c8664de9	2026-09-29
2026.08.06-daa85d7	✓	✓	–	✓	`ocamlPackages.aeneas`	044bfe75bf	2026-08-12
2026.08.03-daa85d7	✓	✓	–	✓	`ocamlPackages.aeneas`	afb4584a80	2026-08-07
2026.07.16-bc2eb6f	✓	✓	–	✓	`ocamlPackages.aeneas`	a5cbcfe954	2026-08-01
2026.07.01	✓	✓	✓	✓	`ocamlPackages.aeneas`	varies	2026-07-08
2026.06.22	✓	✓	✓	✓	`ocamlPackages.aeneas`	f76e4c7b18	2026-07-01
2026.06.14	✓	✓	✓	✓	`ocamlPackages.aeneas`	b3c092d3c3	2026-06-22

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.