diff options
| author | Heinz Wiesinger <pprkut@liwjatan.at> | 2010-05-13 00:20:07 +0200 |
|---|---|---|
| committer | Erik Hanson <erik@slackbuilds.org> | 2010-05-13 00:20:07 +0200 |
| commit | 060d2498f52279d67d50754863fe0f6d0191ef4e (patch) | |
| tree | 62264dcd8d552eb79b1bf039ed261d3d972f713c /academic/ladr/ladr.info | |
| parent | fbbff75475642643a58cf8be8d0d576e81a61339 (diff) | |
academic/ladr: Updated for version 2009_11A
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 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" |