polyml: 5.8.1 -> 5.8.2
This commit is contained in:
parent
d5bd34ebf2
commit
a2497d21d7
|
@ -2,7 +2,7 @@
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "polyml";
|
pname = "polyml";
|
||||||
version = "5.8.1";
|
version = "5.8.2";
|
||||||
|
|
||||||
prePatch = lib.optionalString stdenv.isDarwin ''
|
prePatch = lib.optionalString stdenv.isDarwin ''
|
||||||
substituteInPlace configure.ac --replace stdc++ c++
|
substituteInPlace configure.ac --replace stdc++ c++
|
||||||
|
@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
|
||||||
owner = "polyml";
|
owner = "polyml";
|
||||||
repo = "polyml";
|
repo = "polyml";
|
||||||
rev = "v${version}";
|
rev = "v${version}";
|
||||||
sha256 = "0gcx2fjiwsiazlyfhm7zlrd563blc4fy9w2mspib9divbavaxin6";
|
sha256 = "0vvla816g9rk9aa75gq63rb7bf6yla27p8wh1s1ycgq2in2zk0py";
|
||||||
};
|
};
|
||||||
|
|
||||||
meta = with lib; {
|
meta = with lib; {
|
||||||
|
|
Loading…
Reference in a new issue