From 4994e71c55c551c7d23b4c5530c5430bdd6b7f23 Mon Sep 17 00:00:00 2001 From: Heinz Wiesinger Date: Tue, 11 May 2010 20:00:01 +0200 Subject: academic/ladr: Added to 12.0 repository --- academic/ladr/ladr.info | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 academic/ladr/ladr.info (limited to 'academic/ladr/ladr.info') diff --git a/academic/ladr/ladr.info b/academic/ladr/ladr.info new file mode 100644 index 0000000000..5c14a17f13 --- /dev/null +++ b/academic/ladr/ladr.info @@ -0,0 +1,8 @@ +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" -- cgit v1.2.3