Merge pull request #319077 from r-ryantm/auto-update/highs

highs: 1.7.0 -> 1.7.1
This commit is contained in:
Weijia Wang 2024-06-12 00:18:25 +02:00 committed by GitHub
commit c1d810d507
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -7,13 +7,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "highs";
version = "1.7.0";
version = "1.7.1";
src = fetchFromGitHub {
owner = "ERGO-Code";
repo = "HiGHS";
rev = "v${finalAttrs.version}";
sha256 = "sha256-2dYKXckZ+npj1rA2mmBRuRcGI1YNcaiITSMjE2/TA2g=";
sha256 = "sha256-SJbS0403HyiW8zPrLsNWp8+h/wL7UdrS+QOEjLf1jzE=";
};
strictDeps = true;