Merge pull request #23731 from ndowens/coinmp

coinmp: 1.7.6 -> 1.8.3
This commit is contained in:
Michael Raskin 2017-03-18 19:22:56 +01:00 committed by GitHub
commit aaaaf2829a

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
name = "CoinMP-${version}";
version = "1.7.6";
version = "1.8.3";
src = fetchurl {
url = "http://www.coin-or.org/download/source/CoinMP/${name}.tgz";
sha256 = "0gqi2vqkg35gazzzv8asnhihchnbjcd6bzjfzqhmj7wy1dw9iiw6";
sha256 = "1xr2iwbbhm6l9hwiry5c10pz46xfih8bvzrzwp0nkzf76vdnb9m1";
};
hardeningDisable = [ "format" ];