From 47900887f869dcb91511d71928d6853db935df65 Mon Sep 17 00:00:00 2001
From: Phillip <psusemiehl@gmail.com>
Date: Mon, 2 Mar 2026 20:35:38 +0100
Subject: [PATCH] mcrl2: 202407.1 -> 202507.0

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

diff --git a/pkgs/by-name/mc/mcrl2/package.nix b/pkgs/by-name/mc/mcrl2/package.nix
index cfc94fe5f9f8..0118eecc98a9 100644
--- a/pkgs/by-name/mc/mcrl2/package.nix
+++ b/pkgs/by-name/mc/mcrl2/package.nix
@@ -10,13 +10,13 @@
 }:
 
 stdenv.mkDerivation rec {
-  version = "202407";
-  build_nr = "1";
+  version = "202507";
+  build_nr = "0";
   pname = "mcrl2";
 
   src = fetchurl {
     url = "https://www.mcrl2.org/download/release/mcrl2-${version}.${build_nr}.tar.gz";
-    hash = "sha256-VhP9BFSujxYMcQVu6P6k6yiH2UUhCB3P+Pj+9Ir7x6s=";
+    hash = "sha256-Ur7GGXbYvVmrEUq/CTRyuVNLDHKfFrYHJibo0JvYhyM=";
   };
 
   nativeBuildInputs = [ cmake ];