pyrox.dev
cerberus: 0-unstable-2025-07-25 -> 0-unstable-2025-08-18
+3
-3
pkgs/by-name/ce/cerberus/package.nix
+3
-3
pkgs/by-name/ce/cerberus/package.nix
···
8
}:
9
ocamlPackages.buildDunePackage {
10
pname = "cerberus";
11
-
version = "0-unstable-2025-07-25";
12
13
src = fetchFromGitHub {
14
owner = "rems-project";
15
repo = "cerberus";
16
-
rev = "9f8f2d375366e8c6c3c60dcf2da757344d877b14";
17
-
hash = "sha256-wwc2XXQ3AdXBhBX7FPhpm56w3g9rrC8tESelcXSwjPE=";
18
};
19
20
minimalOCamlVersion = "4.12";
···
8
}:
9
ocamlPackages.buildDunePackage {
10
pname = "cerberus";
11
+
version = "0-unstable-2025-08-18";
12
13
src = fetchFromGitHub {
14
owner = "rems-project";
15
repo = "cerberus";
16
+
rev = "9eb2ce27adc4a45c69da347c660d9b5477d764a8";
17
+
hash = "sha256-++fCZvk4ee166eciipTQ8GId6DWrG6aonAzHpK/10f0=";
18
};
19
20
minimalOCamlVersion = "4.12";