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

highs: 1.7.1 -> 1.7.2
This commit is contained in:
Nick Cao 2024-07-02 16:32:12 -04:00 committed by GitHub
commit c3e5bd3cc3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

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