diff options
Diffstat (limited to 'academic/ladr/ladr.info')
| -rw-r--r-- | academic/ladr/ladr.info | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/academic/ladr/ladr.info b/academic/ladr/ladr.info index 5c14a17f1333..8c7a1ae4cdc2 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" |