scipopt-gcg: 372 -> 4.0.0

pkgs/by-name/sc/scipopt-gcg/package.nix

@@ -9,17 +9,18 @@
   gmp,
   bliss,
   nauty,
+  mpfr,
 }:
 
 stdenv.mkDerivation rec {
   pname = "scipopt-gcg";
-  version = "372-unstable-2025-10-11";
+  version = "4.0.0";
 
   src = fetchFromGitHub {
     owner = "scipopt";
     repo = "gcg";
-    rev = "83a2d210a03f920dd941d547da94867deb504882";
-    hash = "sha256-wbzknCmwDhJ38gItA3DppJxSJfNK7NeIkxZVRd2kmp0=";
+    tag = "v${version}";
+    hash = "sha256-HMhb35Zkjt3yzYk6X1OfigZjJrLuelrkQyCBs/UpFjc=";
   };
 
   nativeBuildInputs = [
@@ -33,6 +34,7 @@ stdenv.mkDerivation rec {
     gmp
     bliss
     nauty
+    mpfr
   ];
 
   # Fixing the error
@@ -51,11 +53,6 @@ stdenv.mkDerivation rec {
   '';
   doCheck = true;
 
-  postPatch = ''
-    substituteInPlace CMakeLists.txt \
-      --replace-fail "cmake_minimum_required(VERSION 3.3)" "cmake_minimum_required(VERSION 3.10)"
-  '';
-
   meta = {
     maintainers = with lib.maintainers; [ fettgoenner ];
     changelog = "https://gcg.or.rwth-aachen.de/doc-3.5.0/RN${lib.versions.major version}${lib.versions.minor version}.html";