diff --git a/pkgs/by-name/sc/scipopt-gcg/package.nix b/pkgs/by-name/sc/scipopt-gcg/package.nix index bd55fcb22c17..d15f8f302f55 100644 --- a/pkgs/by-name/sc/scipopt-gcg/package.nix +++ b/pkgs/by-name/sc/scipopt-gcg/package.nix @@ -1,6 +1,5 @@ { lib, - pkgs, stdenv, fetchFromGitHub, cmake, @@ -14,16 +13,16 @@ stdenv.mkDerivation rec { pname = "scipopt-gcg"; - version = "371"; + version = "372"; # To correlate scipVersion and version, check: https://scipopt.org/#news - scipVersion = "9.2.1"; + scipVersion = "9.2.3"; src = fetchFromGitHub { owner = "scipopt"; repo = "gcg"; tag = "v${version}"; - hash = "sha256-+rD8tGE49Irg9xZTD3Ay87ISSeRI4kbBpCj5ppyENbo="; + hash = "sha256-Sx0ZSca7XBT4GqxWt3bzelaXlI7kZCJo+by22mtTFhA="; }; nativeBuildInputs = [ diff --git a/pkgs/by-name/sc/scipopt-papilo/package.nix b/pkgs/by-name/sc/scipopt-papilo/package.nix index 7564fcd56603..ea38ed196a9a 100644 --- a/pkgs/by-name/sc/scipopt-papilo/package.nix +++ b/pkgs/by-name/sc/scipopt-papilo/package.nix @@ -15,7 +15,7 @@ stdenv.mkDerivation rec { version = "2.4.3"; # To correlate scipVersion and version, check: https://scipopt.org/#news - scipVersion = "9.2.2"; + scipVersion = "9.2.3"; src = fetchFromGitHub { owner = "scipopt"; diff --git a/pkgs/by-name/sc/scipopt-ug/package.nix b/pkgs/by-name/sc/scipopt-ug/package.nix index 2d52e294ceb5..1afb8f50b291 100644 --- a/pkgs/by-name/sc/scipopt-ug/package.nix +++ b/pkgs/by-name/sc/scipopt-ug/package.nix @@ -13,7 +13,7 @@ stdenv.mkDerivation rec { version = "1.0.0-beta6"; # To correlate scipVersion and version, check: https://scipopt.org/#news - scipVersion = "9.2.2"; + scipVersion = "9.2.3"; # Take the SCIPOptSuite source since no other source exists publicly. src = fetchzip { diff --git a/pkgs/by-name/sc/scipopt-zimpl/package.nix b/pkgs/by-name/sc/scipopt-zimpl/package.nix index 1e1d708a4ab2..ef63e973e232 100644 --- a/pkgs/by-name/sc/scipopt-zimpl/package.nix +++ b/pkgs/by-name/sc/scipopt-zimpl/package.nix @@ -14,7 +14,7 @@ stdenv.mkDerivation rec { version = "362"; # To correlate scipVersion and version, check: https://scipopt.org/#news - scipVersion = "9.2.2"; + scipVersion = "9.2.3"; src = fetchFromGitHub { owner = "scipopt";