Merge pull request #38060 from ryantm/auto-update/polyml
polyml: 5.7 -> 5.7.1
This commit is contained in:
commit
2ce5d2a1ac
@ -2,7 +2,7 @@
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "polyml-${version}";
|
||||
version = "5.7";
|
||||
version = "5.7.1";
|
||||
|
||||
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 = "10nsljmcl0zjbcc7ifc991ypwfwq5gh4rcp5rg4nnb706c6bs16y";
|
||||
sha256 = "0j0wv3ijfrjkfngy7dswm4k1dchk3jak9chl5735dl8yrl8mq755";
|
||||
};
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
|
Loading…
x
Reference in New Issue
Block a user