summaryrefslogtreecommitdiff
path: root/academic/ladr/ladr.info
blob: 5c14a17f133310b9e832ce15653a998fcfe3fe82 (plain)
1
2
3
4
5
6
7
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"