highs: 1.7.2 -> 1.8.0 (#349475)

2024-10-19 23:11:17 +02:00
parent 562207a91f 08c4968a3d
commit ac787d2f66
1 changed files with 2 additions and 2 deletions
@@ -7,13 +7,13 @@

 stdenv.mkDerivation (finalAttrs: {
  pname = "highs";
-  version = "1.7.2";
+  version = "1.8.0";

  src = fetchFromGitHub {
    owner = "ERGO-Code";
    repo = "HiGHS";
    rev = "v${finalAttrs.version}";
-    hash = "sha256-q18TfKbZyTZzzPZ8z3U57Yt8q2PSvbkg3qqqiPMgy5Q=";
+    hash = "sha256-3ACo6V6Y99XPe4dvurWflNGPjHy3irURv4jYHMrgSms=";
  };

  strictDeps = true;