blob: 8c7a1ae4cdc25f91b4f7e86583549f3b0b43b569 (
plain)
1
2
3
4
5
6
7
8
|
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"
|