diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-07-19 18:01:10 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-19 18:01:10 +0000 |
| commit | c0cb54f9eeb0c607a08097f84096728aa8ea615d (patch) | |
| tree | c171280941f68726ff0bd35e895cc3c2cd0e918d /pkgs/development/compilers/polyml/default.nix | |
| parent | c605362140796ff800e34b10d008a7ce7864b500 (diff) | |
| parent | 6cc55fd6380dd892f1d41ba7d07efa2a813d38fe (diff) | |
| download | nixpkgs-c0cb54f9eeb0c607a08097f84096728aa8ea615d.tar nixpkgs-c0cb54f9eeb0c607a08097f84096728aa8ea615d.tar.gz nixpkgs-c0cb54f9eeb0c607a08097f84096728aa8ea615d.tar.bz2 nixpkgs-c0cb54f9eeb0c607a08097f84096728aa8ea615d.tar.lz nixpkgs-c0cb54f9eeb0c607a08097f84096728aa8ea615d.tar.xz nixpkgs-c0cb54f9eeb0c607a08097f84096728aa8ea615d.tar.zst nixpkgs-c0cb54f9eeb0c607a08097f84096728aa8ea615d.zip | |
Merge master into staging-next
Diffstat (limited to 'pkgs/development/compilers/polyml/default.nix')
| -rw-r--r-- | pkgs/development/compilers/polyml/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/polyml/default.nix b/pkgs/development/compilers/polyml/default.nix index d2a15033422..2af100d067b 100644 --- a/pkgs/development/compilers/polyml/default.nix +++ b/pkgs/development/compilers/polyml/default.nix @@ -2,7 +2,7 @@ stdenv.mkDerivation rec { pname = "polyml"; - version = "5.8.1"; + version = "5.8.2"; 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 = "0gcx2fjiwsiazlyfhm7zlrd563blc4fy9w2mspib9divbavaxin6"; + sha256 = "0vvla816g9rk9aa75gq63rb7bf6yla27p8wh1s1ycgq2in2zk0py"; }; meta = with lib; { |