Nick Cao 2025-08-04 19:00:50 -04:00
parent 351dccbff5
commit b20568c013
No known key found for this signature in database

View File

@ -1,6 +1,5 @@
{ {
lib, lib,
pkgs,
stdenv, stdenv,
fetchFromGitHub, fetchFromGitHub,
cmake, cmake,
@ -14,16 +13,16 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "scipopt-gcg"; pname = "scipopt-gcg";
version = "371"; version = "372";
# To correlate scipVersion and version, check: https://scipopt.org/#news # To correlate scipVersion and version, check: https://scipopt.org/#news
scipVersion = "9.2.1"; scipVersion = "9.2.3";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "scipopt"; owner = "scipopt";
repo = "gcg"; repo = "gcg";
tag = "v${version}"; tag = "v${version}";
hash = "sha256-+rD8tGE49Irg9xZTD3Ay87ISSeRI4kbBpCj5ppyENbo="; hash = "sha256-Sx0ZSca7XBT4GqxWt3bzelaXlI7kZCJo+by22mtTFhA=";
}; };
nativeBuildInputs = [ nativeBuildInputs = [