gurobi: 8.0.1 -> 8.1 (#53884)
This commit is contained in:
parent
a0f0687fbf
commit
bebf305c1b
@ -2,11 +2,11 @@
|
|||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
name = "gurobi-${version}";
|
name = "gurobi-${version}";
|
||||||
version = "8.0.1";
|
version = "8.1.0";
|
||||||
|
|
||||||
src = with stdenv.lib; fetchurl {
|
src = with stdenv.lib; fetchurl {
|
||||||
url = "http://packages.gurobi.com/${versions.majorMinor version}/gurobi${version}_linux64.tar.gz";
|
url = "http://packages.gurobi.com/${versions.majorMinor version}/gurobi${version}_linux64.tar.gz";
|
||||||
sha256 = "0y3lb0mngnyn7ql4s2n8qxnr1d2xcjdpdhpdjdxc4sc8f2w2ih18";
|
sha256 = "1yjqbzqnq4jjkjm616d36bgd3rmqr0a1ii17n0prpdjzmdlq63dz";
|
||||||
};
|
};
|
||||||
|
|
||||||
sourceRoot = "gurobi${builtins.replaceStrings ["."] [""] version}/linux64";
|
sourceRoot = "gurobi${builtins.replaceStrings ["."] [""] version}/linux64";
|
||||||
|
Loading…
x
Reference in New Issue
Block a user