polyml: 5.8.2 -> 5.9

This commit is contained in:
R. Ryantm 2021-12-08 11:26:15 +00:00
parent 5753b89152
commit da6125aceb

View File

@ -2,7 +2,7 @@
stdenv.mkDerivation rec {
pname = "polyml";
version = "5.8.2";
version = "5.9";
prePatch = 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 = "0vvla816g9rk9aa75gq63rb7bf6yla27p8wh1s1ycgq2in2zk0py";
sha256 = "sha256-4oo4AB54CivhS99RuZVTP9+Ic0CDpsBb+OiHvOhmZnM=";
};
meta = with lib; {