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

cerberus: 0-unstable-2025-06-29 -> 0-unstable-2025-07-25

Browse Source
This commit is contained in:
R. Ryantm
2025-07-29 00:35:36 +00:00
parent 732a532b9c
commit c5ed5e8ab2
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/ce/cerberus/package.nix
+3 -3
View File
@@ -8,13 +8,13 @@
}:
ocamlPackages.buildDunePackage {
pname = "cerberus";
version = "0-unstable-2025-06-29";
version = "0-unstable-2025-07-25";
src = fetchFromGitHub {
owner = "rems-project";
repo = "cerberus";
rev = "61700b301f0f1fbc1940db51c50240c397759057";
hash = "sha256-QpgHOQqiJMlMf2RH5/TI3AirdqYPS7HwE9YIlxgorqg=";
rev = "9f8f2d375366e8c6c3c60dcf2da757344d877b14";
hash = "sha256-wwc2XXQ3AdXBhBX7FPhpm56w3g9rrC8tESelcXSwjPE=";
};
minimalOCamlVersion = "4.12";