Merge pull request #311833 from r-ryantm/auto-update/gurobi

gurobi: 11.0.1 -> 11.0.2
2024-05-15 10:43:54 +02:00
parent 0a7f82840e 6e768148e7
commit d5b5f5dd72
1 changed files with 2 additions and 2 deletions
@@ -2,11 +2,11 @@

 stdenv.mkDerivation rec {
  pname = "gurobi";
-  version = "11.0.1";
+  version = "11.0.2";

  src = fetchurl {
    url = "https://packages.gurobi.com/${lib.versions.majorMinor version}/gurobi${version}_linux64.tar.gz";
-    hash = "sha256-oZ7Oz22e4k6cVF3TDFxp/pE+RuU+3p/CatTWj1ci5ZY=";
+    hash = "sha256-9DrIo+25h7mgphRSrNnY2+nrNzaMbafONuUkfLKho2g=";
  };

  sourceRoot = "gurobi${builtins.replaceStrings ["."] [""] version}/linux64";