nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-02 02:03:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #248270 from r-ryantm/auto-update/mercury

Browse Source 
mercury: 22.01.6 -> 22.01.7
This commit is contained in:
Mario Rodas 2023-08-11 23:24:32 -05:00 committed by GitHub
commit 2bd1c02328
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/development/compilers/mercury/default.nix
View File

@ -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 = [ ];
};
}