scipopt-*: fixup scipVersion (#431050)

This commit is contained in:
Weijia Wang
2025-08-05 10:26:56 +02:00
committed by GitHub
4 changed files with 6 additions and 7 deletions
+3 -4
View File
@@ -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 = [
+1 -1
View File
@@ -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";
+1 -1
View File
@@ -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 {
+1 -1
View File
@@ -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";