cerberus: 0-unstable-2025-11-26 -> 0-unstable-2025-12-15 (#471424)

This commit is contained in:
Aleksana
2025-12-17 10:44:13 +00:00
committed by GitHub
+6 -6
View File
@@ -10,15 +10,15 @@
testers,
cerberus,
}:
ocamlPackages.buildDunePackage rec {
ocamlPackages.buildDunePackage (finalAttrs: {
pname = "cerberus";
version = "0-unstable-2025-11-26";
version = "0-unstable-2025-12-15";
src = fetchFromGitHub {
owner = "rems-project";
repo = "cerberus";
rev = "6d60ef25944ebcdab892158c949a8e05501557dc";
hash = "sha256-RucW01xuW5b6F9/O1OL99YJn3rSMCP7l7Cwjuv4PNIc=";
rev = "50621977ba282ac527e9259f7e9334d2c5bef41c";
hash = "sha256-CAZeLG1M9oBzl/5EsIYwyV3St5fdwmfkPApACbsIYAc=";
};
patches = [
@@ -35,7 +35,7 @@ ocamlPackages.buildDunePackage rec {
# our version since git is impure
postPatch = ''
substituteInPlace tools/gen_version.ml \
--replace-fail '"unknown"' '"${version}"'
--replace-fail '"unknown"' '"${finalAttrs.version}"'
'';
minimalOCamlVersion = "4.12";
@@ -136,4 +136,4 @@ ocamlPackages.buildDunePackage rec {
];
platforms = lib.platforms.unix;
};
}
})