From c5ed5e8ab2c142d39cd5775e1abf5076a019aa08 Mon Sep 17 00:00:00 2001
From: "R. Ryantm" <ryantm-bot@ryantm.com>
Date: Tue, 29 Jul 2025 00:35:36 +0000
Subject: [PATCH] cerberus: 0-unstable-2025-06-29 -> 0-unstable-2025-07-25

---
 pkgs/by-name/ce/cerberus/package.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/by-name/ce/cerberus/package.nix b/pkgs/by-name/ce/cerberus/package.nix
index 58e4b988930b..73454ad04917 100644
--- a/pkgs/by-name/ce/cerberus/package.nix
+++ b/pkgs/by-name/ce/cerberus/package.nix
@@ -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";