b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

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

Browse source 
mercury: 22.01.5 -> 22.01.6
This commit is contained in:
Weijia Wang 2023-05-23 00:39:22 +03:00 committed by GitHub
parent 86b8fccf9c 8ecdde2a51
commit 172df5e62b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/development/compilers/mercury/default.nix
View file

@ -3,11 +3,11 @@
stdenv.mkDerivation rec {
pname = "mercury";
version = "22.01.5";
version = "22.01.6";
src = fetchurl {
url = "https://dl.mercurylang.org/release/mercury-srcdist-${version}.tar.gz";
sha256 = "sha256-fhstGxMMCvxlVCvjwuSDmc8sJdegStPEJ+AicVsJig8=";
sha256 = "sha256-dpRW+DRGJZPIvUv6/y1TLAFjrPOldKBtpwn87nOgIt8=";
};
nativeBuildInputs = [ makeWrapper ];