mirror of
https://github.com/Ponce/slackbuilds
synced 2024-12-01 01:00:03 +01:00
8 lines
271 B
Text
8 lines
271 B
Text
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"
|