gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamlPackages.aeneas: 2026.06.12 -> 2026.06.14

Browse Source
This commit is contained in:
R. Ryantm
2026-06-14 12:32:08 +00:00
parent f8b557df6a
commit 4f241557fb
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/ocaml-modules/aeneas/default.nix
+2 -2
View File
@@ -16,7 +16,7 @@
buildDunePackage (finalAttrs: {
pname = "aeneas";
version = "2026.06.12";
version = "2026.06.14";
__structuredAttrs = true;
minimalOCamlVersion = "5.1";
@@ -25,7 +25,7 @@ buildDunePackage (finalAttrs: {
owner = "AeneasVerif";
repo = "aeneas";
tag = "nightly-${finalAttrs.version}";
hash = "sha256-loTnCy4lNJki+dSShZ35jKyOWIh1XcPwN7oY7CyFa04=";
hash = "sha256-ef68sJtVdKlIr7IiZSehFlG87m1BjW5HSG8PYxbs3Lg=";
};
sourceRoot = "${finalAttrs.src.name}/src";