diff options
Diffstat (limited to 'academic/ladr/ladr.info')
| -rw-r--r-- | academic/ladr/ladr.info | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/academic/ladr/ladr.info b/academic/ladr/ladr.info new file mode 100644 index 0000000000000..5c14a17f13331 --- /dev/null +++ b/academic/ladr/ladr.info @@ -0,0 +1,8 @@ +PRGNAM="ladr" +VERSION="Dec_2007" +HOMEPAGE="http://www.cs.unm.edu/~mccune/prover9/" +DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-Dec-2007.tar.gz" +MD5SUM="6e2896ed4cce4556bfcc321778df5dfe" +MAINTAINER="ppr:kut" +EMAIL="HMWiesinger@gmx.at" +APPROVED="David Somero" |