alive2-regehr: 0-unstable-2025-02-14 -> 0-unstable-2025-02-19

Diff: regehr/alive2@cda56a4...12d5760

Author: github-actions[bot]

llvm-translator/alive2-regehr.nix

@@ -7,13 +7,13 @@
 
 (alive2-aslp.override { inherit llvmPackages; }).overrideAttrs (prev: {
   pname = "alive2-regehr";
-  version = "0-unstable-2025-02-14";
+  version = "0-unstable-2025-02-19";
 
   src = fetchFromGitHub {
     owner = "regehr";
     repo = "alive2";
-    rev = "cda56a42f8e5c1e6b1e1655eae17c5db74a7ddfa";
-    hash = "sha256-9rDMfvM854JeU9l9Ju5NDN7ICuKc8p+ws2cvbaNuo2s=";
+    rev = "12d57609553518d00b31e3d5ae2cc5e1d46fa455";
+    hash = "sha256-D4bENaQKqtNr3ZE8keoX6B2pAnol+/PPzAO302DYlF4=";
   };
 
 })