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

cerberus: 0-unstable-2025-11-09 -> 0-unstable-2025-11-12 (#462898)

Browse Source
This commit is contained in:
nixpkgs-ci[bot]
2025-11-18 15:54:49 +00:00
committed by GitHub
parent 1ac172a5aa f322a6dcc0
commit f0a5e10f07
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-09";
version = "0-unstable-2025-11-12";
src = fetchFromGitHub {
owner = "rems-project";
repo = "cerberus";
rev = "4a1896590a1808b6ec15967b79c544b0fcdbd76a";
hash = "sha256-M36dz6cQxU8b0H00Uvk6U0otWlkHJMP5CPQuCrbKncc=";
rev = "35d1ec8919c9813dd1b3770dccf53260ac5b7f73";
hash = "sha256-OQo/w49Z7+SGyKdePsSXplglo1gSNfnxNw85lcv0nc0=";
};
patches = [