diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2023-08-11 23:24:32 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-11 23:24:32 -0500 |
commit | 2bd1c0232819573273cbc7263d2dc136ec194ad7 (patch) | |
tree | b4fe6ae2e734f64f2b31617258fd76ff599849ad /pkgs | |
parent | 4bf046929ae2fc8ff8f62bb4bf808cb8812bdda5 (diff) | |
parent | c0e49d14b0526bb1cc436be86a7449856a7800ae (diff) |
Merge pull request #248270 from r-ryantm/auto-update/mercury
mercury: 22.01.6 -> 22.01.7
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/mercury/default.nix | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/pkgs/development/compilers/mercury/default.nix b/pkgs/development/compilers/mercury/default.nix index 134c9e1143707..573c18cd9284e 100644 --- a/pkgs/development/compilers/mercury/default.nix +++ b/pkgs/development/compilers/mercury/default.nix @@ -3,11 +3,11 @@ stdenv.mkDerivation rec { pname = "mercury"; - version = "22.01.6"; + version = "22.01.7"; src = fetchurl { url = "https://dl.mercurylang.org/release/mercury-srcdist-${version}.tar.gz"; - sha256 = "sha256-dpRW+DRGJZPIvUv6/y1TLAFjrPOldKBtpwn87nOgIt8="; + sha256 = "sha256-PctyVKlV2cnHoBSAXjMTSPvWY7op9D6kIMypYDRgvGw="; }; nativeBuildInputs = [ makeWrapper ]; @@ -54,9 +54,10 @@ stdenv.mkDerivation rec { allowing modularity, separate compilation, and numerous optimization/time trade-offs. ''; - homepage = "http://mercurylang.org"; - license = lib.licenses.gpl2; - platforms = lib.platforms.linux ++ lib.platforms.darwin; + homepage = "https://mercurylang.org/"; + changelog = "https://dl.mercurylang.org/release/release-notes-${version}.html"; + license = lib.licenses.gpl2Only; + platforms = lib.platforms.all; maintainers = [ ]; }; } |