mercury: Update to 14.01.1
This commit is contained in:
parent
37ac9deb3d
commit
691b047cfb
@ -3,11 +3,11 @@
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "mercury-${version}";
|
||||
version = "14.01";
|
||||
version = "14.01.1";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://dl.mercurylang.org/release/mercury-srcdist-${version}.tar.gz";
|
||||
sha256 = "1hgwmsaacxhgx2p2hikl5px8xf0wny9wx47gjl258dgxxasbfij4";
|
||||
sha256 = "12z8qi3da8q50mcsjsy5bnr4ia6ny5lkxvzy01a3c9blgbgcpxwq";
|
||||
};
|
||||
|
||||
buildInputs = [ gcc flex bison texinfo jdk erlang makeWrapper
|
||||
|
Loading…
Reference in New Issue
Block a user