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"