summaryrefslogtreecommitdiff
path: root/academic/ladr/ladr.info
diff options
context:
space:
mode:
Diffstat (limited to 'academic/ladr/ladr.info')
-rw-r--r--academic/ladr/ladr.info10
1 files changed, 5 insertions, 5 deletions
diff --git a/academic/ladr/ladr.info b/academic/ladr/ladr.info
index 5c14a17f13..8c7a1ae4cd 100644
--- a/academic/ladr/ladr.info
+++ b/academic/ladr/ladr.info
@@ -1,8 +1,8 @@
PRGNAM="ladr"
-VERSION="Dec_2007"
+VERSION="2008_09A"
HOMEPAGE="http://www.cs.unm.edu/~mccune/prover9/"
-DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-Dec-2007.tar.gz"
-MD5SUM="6e2896ed4cce4556bfcc321778df5dfe"
+DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-2008-09A.tar.gz"
+MD5SUM="96cc67eae8f485c22d01449fd2639dae"
MAINTAINER="ppr:kut"
-EMAIL="HMWiesinger@gmx.at"
-APPROVED="David Somero"
+EMAIL="pprkut@liwjatan.at"
+APPROVED="Michiel"