ladr.info « ladr « academic - slackbuilds - slackbuilds.org fork for slackware-current - clone of http://github.com/Ponce/slackbuilds

index : slackbuilds

slackbuilds.org fork for slackware-current - clone of http://github.com/Ponce/slackbuilds

matteo.bernardini _at_ gmail.com

summary refs log tree commit diff stats

path: root/academic/ladr/ladr.info

blob: 5c14a17f133310b9e832ce15653a998fcfe3fe82 (plain)

PRGNAM="ladr"
VERSION="Dec_2007"
HOMEPAGE="http://www.cs.unm.edu/~mccune/prover9/"
DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-Dec-2007.tar.gz"
MD5SUM="6e2896ed4cce4556bfcc321778df5dfe"
MAINTAINER="ppr:kut"
EMAIL="HMWiesinger@gmx.at"
APPROVED="David Somero"