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

ocamlPackages.charon: 2026.06.14 -> 2026.06.22 (#534471)

Browse Source
This commit is contained in:
StepBroBD
2026-06-23 08:15:33 +00:00
committed by GitHub
parent 28cd647d52 5c4c814fd0
commit 74596aa065
2 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/ocaml-modules/aeneas/default.nix
+4 -2
View File
@@ -8,6 +8,7 @@
core_unix,
domainslib,
ocamlgraph,
ppx_deriving_yojson,
progress,
visitors,
@@ -16,7 +17,7 @@
buildDunePackage (finalAttrs: {
pname = "aeneas";
version = "2026.06.14";
version = "2026.06.22";
__structuredAttrs = true;
minimalOCamlVersion = "5.1";
@@ -25,7 +26,7 @@ buildDunePackage (finalAttrs: {
owner = "AeneasVerif";
repo = "aeneas";
tag = "nightly-${finalAttrs.version}";
hash = "sha256-ef68sJtVdKlIr7IiZSehFlG87m1BjW5HSG8PYxbs3Lg=";
hash = "sha256-T/wiTajDKCG4lFcHtdQvO0AhEzX9F+vT6ij2VBBnvdU=";
};
sourceRoot = "${finalAttrs.src.name}/src";
@@ -35,6 +36,7 @@ buildDunePackage (finalAttrs: {
core_unix
domainslib
ocamlgraph
ppx_deriving_yojson
progress
visitors
];
pkgs/development/ocaml-modules/charon/default.nix
+2 -2
View File
@@ -16,14 +16,14 @@
buildDunePackage (finalAttrs: {
pname = "charon";
version = "2026.06.14";
version = "2026.06.22";
__structuredAttrs = true;
src = fetchFromGitHub {
owner = "AeneasVerif";
repo = "charon";
tag = "nightly-${finalAttrs.version}";
hash = "sha256-EZ1Ueco4vK4mUKyOGXXHgToNLMp+1W7095HyU+1zQ2Q=";
hash = "sha256-Wz2iVkHZLHwgIycHTNCmST5gizupU3xGTo0scfdq8T0=";
};
propagatedBuildInputs = [