PRGNAM="ladr" VERSION="2008_09A" HOMEPAGE="http://www.cs.unm.edu/~mccune/prover9/" DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-2008-09A.tar.gz" MD5SUM="96cc67eae8f485c22d01449fd2639dae" MAINTAINER="ppr:kut" EMAIL="pprkut@liwjatan.at" APPROVED="Michiel"