PRGNAM="ladr" VERSION="2009_11A" HOMEPAGE="http://www.cs.unm.edu/~mccune/prover9/" DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz" MD5SUM="ab409f31ecbb4410b1c7d75deadea2c6" DOWNLOAD_x86_64="" MD5SUM_x86_64="" MAINTAINER="Heinz Wiesinger" EMAIL="pprkut@liwjatan.at"