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"