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"