ocamlPackages.aeneas: sync version on charon

2026-07-02 23:02:28 +00:00
parent acf7edcb2d
commit 6e8fd6e43d
1 changed files with 2 additions and 2 deletions
@@ -17,7 +17,7 @@

 buildDunePackage (finalAttrs: {
  pname = "aeneas";
-  version = "2026.06.22";
+  inherit (charon) version;
  __structuredAttrs = true;

  minimalOCamlVersion = "5.1";
@@ -26,7 +26,7 @@ buildDunePackage (finalAttrs: {
    owner = "AeneasVerif";
    repo = "aeneas";
    tag = "nightly-${finalAttrs.version}";
-    hash = "sha256-T/wiTajDKCG4lFcHtdQvO0AhEzX9F+vT6ij2VBBnvdU=";
+    hash = "sha256-uQAGj3moRftf1OWIuzfRoFsO/tv0Hhx3X/8qRU0yOqk=";
  };

  sourceRoot = "${finalAttrs.src.name}/src";