slackbuilds_ponce/academic/ladr/ladr.info

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=""
REQUIRES=""
MAINTAINER="Heinz Wiesinger"
EMAIL="pprkut@liwjatan.at"
academic/ladr: Added to 12.0 repository 2010-05-11 20:00:01 +02:00			`PRGNAM="ladr"`
academic/ladr: Updated for version 2009_11A 2010-05-13 00:20:07 +02:00			`VERSION="2009_11A"`
academic/ladr: Added to 12.0 repository 2010-05-11 20:00:01 +02:00			`HOMEPAGE="http://www.cs.unm.edu/~mccune/prover9/"`
academic/ladr: Updated for version 2009_11A 2010-05-13 00:20:07 +02:00			`DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz"`
			`MD5SUM="ab409f31ecbb4410b1c7d75deadea2c6"`
			`DOWNLOAD_x86_64=""`
			`MD5SUM_x86_64=""`
Add REQUIRED field to .info files. Signed-off-by: Erik Hanson <erik@slackbuilds.org> 2012-08-20 02:56:45 +02:00			`REQUIRES=""`
academic/ladr: Updated for version 2009_11A 2010-05-13 00:20:07 +02:00			`MAINTAINER="Heinz Wiesinger"`
academic/ladr: Updated for version 2008_09A 2010-05-11 22:21:34 +02:00			`EMAIL="pprkut@liwjatan.at"`