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