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

cerberus: 0-unstable-2025-11-26 -> 0-unstable-2025-12-15

Browse Source
This commit is contained in:
Ross Smyth
2025-12-16 13:18:40 -05:00
parent 7dde039464
commit 80e7df7934
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
@@ -12,13 +12,13 @@
}:
ocamlPackages.buildDunePackage rec {
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 = [