diff options
author | bitmappergit <30481775+bitmappergit@users.noreply.github.com> | 2021-01-19 10:24:30 -0400 |
---|---|---|
committer | bitmapper <bitmapper85@gmail.com> | 2021-01-19 11:00:45 -0400 |
commit | e61e82e6c5fc7b5cd935d22f186b3d8f8f55ec27 (patch) | |
tree | 79accbd82d6aa7911cf98964878ad28f41c42fb1 /pkgs/development/interpreters | |
parent | 28ba03ae72dc3bc75269b5b07d5364f51531b5f7 (diff) | |
download | nixlib-e61e82e6c5fc7b5cd935d22f186b3d8f8f55ec27.tar nixlib-e61e82e6c5fc7b5cd935d22f186b3d8f8f55ec27.tar.gz nixlib-e61e82e6c5fc7b5cd935d22f186b3d8f8f55ec27.tar.bz2 nixlib-e61e82e6c5fc7b5cd935d22f186b3d8f8f55ec27.tar.lz nixlib-e61e82e6c5fc7b5cd935d22f186b3d8f8f55ec27.tar.xz nixlib-e61e82e6c5fc7b5cd935d22f186b3d8f8f55ec27.tar.zst nixlib-e61e82e6c5fc7b5cd935d22f186b3d8f8f55ec27.zip |
maude: 3.0 -> 3.1
Diffstat (limited to 'pkgs/development/interpreters')
-rw-r--r-- | pkgs/development/interpreters/maude/default.nix | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index e4e984fc4ac6..d824d29c35c0 100644 --- a/pkgs/development/interpreters/maude/default.nix +++ b/pkgs/development/interpreters/maude/default.nix @@ -4,11 +4,11 @@ let - version = "3.0"; + version = "3.1"; fullMaude = fetchurl { - url = "http://maude.cs.illinois.edu/w/images/0/04/Full-Maude-${version}.zip"; - sha256 = "0gf36wlkkl343vlxgryqdhxmgyn8z0cc2zayccd7ac3inmj1iayw"; + url = "http://maude.cs.illinois.edu/w/images/0/0a/Full-Maude-${version}.zip"; + sha256 = "8b13af02c6243116c2ef9592622ecaa06d05dbe1dd6b1e595551ff33855948f2"; }; in @@ -18,8 +18,8 @@ stdenv.mkDerivation { inherit version; src = fetchurl { - url = "http://maude.cs.illinois.edu/w/images/9/92/Maude-${version}.tar.gz"; - sha256 = "0vhn3lsck6ji9skrgm67hqrn3k4f6y442q73jbw65qqznm321k5a"; + url = "http://maude.cs.illinois.edu/w/images/d/d3/Maude-${version}.tar.gz"; + sha256 = "b112d7843f65217e3b5a9d40461698ef8dab7cbbe830af21216dfb924dc88a2f"; }; buildInputs = [ @@ -43,7 +43,7 @@ stdenv.mkDerivation { postInstall = '' for n in "$out/bin/"*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done unzip ${fullMaude} - install -D -m 444 full-maude3.maude $out/share/maude/full-maude.maude + install -D -m 444 full-maude31.maude $out/share/maude/full-maude.maude ''; # bison -dv surface.yy -o surface.c |