aboutsummaryrefslogtreecommitdiff
path: root/academic/ladr/ladr.info
diff options
context:
space:
mode:
Diffstat (limited to 'academic/ladr/ladr.info')
-rw-r--r--academic/ladr/ladr.info12
1 files changed, 7 insertions, 5 deletions
diff --git a/academic/ladr/ladr.info b/academic/ladr/ladr.info
index 8c7a1ae4cdc25..e3b7be7be0d3f 100644
--- a/academic/ladr/ladr.info
+++ b/academic/ladr/ladr.info
@@ -1,8 +1,10 @@
PRGNAM="ladr"
-VERSION="2008_09A"
+VERSION="2009_11A"
HOMEPAGE="http://www.cs.unm.edu/~mccune/prover9/"
-DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-2008-09A.tar.gz"
-MD5SUM="96cc67eae8f485c22d01449fd2639dae"
-MAINTAINER="ppr:kut"
+DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz"
+MD5SUM="ab409f31ecbb4410b1c7d75deadea2c6"
+DOWNLOAD_x86_64=""
+MD5SUM_x86_64=""
+MAINTAINER="Heinz Wiesinger"
EMAIL="pprkut@liwjatan.at"
-APPROVED="Michiel"
+APPROVED="Erik Hanson"