pyrox.dev
Merge pull request #149607 from r-ryantm/auto-update/polyml
polyml: 5.8.2 -> 5.9
authored by Jörg Thalheim and committed by GitHub 65431e85 eee45bb2
+2
-2
pkgs/development/compilers/polyml/default.nix
+2
-2
pkgs/development/compilers/polyml/default.nix
···
2
2
3
3
stdenv.mkDerivation rec {
4
4
pname = "polyml";
5
-
version = "5.8.2";
5
+
version = "5.9";
6
6
7
7
prePatch = lib.optionalString stdenv.isDarwin ''
8
8
substituteInPlace configure.ac --replace stdc++ c++
···
22
22
owner = "polyml";
23
23
repo = "polyml";
24
24
rev = "v${version}";
25
-
sha256 = "0vvla816g9rk9aa75gq63rb7bf6yla27p8wh1s1ycgq2in2zk0py";
25
+
sha256 = "sha256-4oo4AB54CivhS99RuZVTP9+Ic0CDpsBb+OiHvOhmZnM=";
26
26
};
27
27
28
28
meta = with lib; {