diff options
| author | Heinz Wiesinger <pprkut@liwjatan.at> | 2010-05-11 22:21:34 +0200 |
|---|---|---|
| committer | Michiel van Wessem <michiel@slackbuilds.org> | 2010-05-11 22:21:34 +0200 |
| commit | b7d2872eb8846716dafde560546c1daec2c04e72 (patch) | |
| tree | 15d66e16be0a6720c1d9184e346fbf8f4ffdeac2 /academic/ladr/ladr.info | |
| parent | 8a0c2da0efef4c99fc67a9723d208fb0d58207c0 (diff) | |
academic/ladr: Updated for version 2008_09A
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" |