polyml: 5.7.1 -> 5.8
This commit is contained in:
parent
7e8d125e19
commit
cb0f01cf2e
@ -2,7 +2,7 @@
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "polyml-${version}";
|
||||
version = "5.7.1";
|
||||
version = "5.8";
|
||||
|
||||
prePatch = stdenv.lib.optionalString stdenv.isDarwin ''
|
||||
substituteInPlace configure.ac --replace stdc++ c++
|
||||
@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
|
||||
owner = "polyml";
|
||||
repo = "polyml";
|
||||
rev = "v${version}";
|
||||
sha256 = "0j0wv3ijfrjkfngy7dswm4k1dchk3jak9chl5735dl8yrl8mq755";
|
||||
sha256 = "1s7q77bivppxa4vd7gxjj5dbh66qnirfxnkzh1ql69rfx1c057n3";
|
||||
};
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
|
Loading…
x
Reference in New Issue
Block a user