nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-21 08:01:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.aeneas: 2026.07.01 -> 2026.07.16-bc2eb6f

Browse Source
This commit is contained in:
Gaetan Lepage
2026-07-16 19:39:01 +00:00
parent 5349cbc9bb
commit 8eba732eca
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/ocaml-modules/aeneas/default.nix
View File

@@ -17,7 +17,8 @@
buildDunePackage (finalAttrs: {
pname = "aeneas";
inherit (charon) version;
# Keep aeneas and charon in sync
version = "${charon.version}-bc2eb6f";
__structuredAttrs = true;
minimalOCamlVersion = "5.1";
@@ -26,7 +27,7 @@ buildDunePackage (finalAttrs: {
owner = "AeneasVerif";
repo = "aeneas";
tag = "nightly-${finalAttrs.version}";
hash = "sha256-uQAGj3moRftf1OWIuzfRoFsO/tv0Hhx3X/8qRU0yOqk=";
hash = "sha256-V5+3pPpDhcrRGA9kmYmod3/pScwfYZEj6MJKsuhbROk=";
};
sourceRoot = "${finalAttrs.src.name}/src";