aboutsummaryrefslogtreecommitdiff
path: root/development/maude
diff options
context:
space:
mode:
authorB. Watson <yalhcru@gmail.com>2017-03-20 07:43:58 -0400
committerDavid Spencer <idlemoor@slackbuilds.org>2017-03-25 13:27:11 +0000
commit9c64a34a85957f146b5eb098ff6590ff982e1196 (patch)
tree515e906167b643a273ed60a1636864a728178782 /development/maude
parent7a845b04072012270ca734e8e977311858132a35 (diff)
development/maude: Fix info.
Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'development/maude')
-rw-r--r--development/maude/maude.info4
1 files changed, 2 insertions, 2 deletions
diff --git a/development/maude/maude.info b/development/maude/maude.info
index cf00a895aa1a..851c4313127b 100644
--- a/development/maude/maude.info
+++ b/development/maude/maude.info
@@ -1,9 +1,9 @@
PRGNAM="maude"
VERSION="2.7.1"
HOMEPAGE="http://maude.cs.illinois.edu/w/index.php?title=The_Maude_System"
-DOWNLOAD="http://maude.cs.illinois.edu/w/images/d/d8/Maude-2.7.1.tar.gz
+DOWNLOAD="http://maude.cs.illinois.edu/w/images/d/d8/Maude-2.7.1.tar.gz \
http://maude.cs.illinois.edu/w/images/c/ca/Full-Maude-2.7.1.zip"
-MD5SUM="aa31753f742f976940c69aa699c3d0ec
+MD5SUM="aa31753f742f976940c69aa699c3d0ec \
b365fe0fdd161880e95aeb089f166657"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""