summaryrefslogtreecommitdiff
path: root/academic/ladr/ladr.info
diff options
context:
space:
mode:
authorHeinz Wiesinger <HMWiesinger@gmx.at>2010-05-11 20:00:01 +0200
committerDavid Somero <xgizzmo@slackbuilds.org>2010-05-11 20:00:01 +0200
commit4994e71c55c551c7d23b4c5530c5430bdd6b7f23 (patch)
tree9e7303915866b2e51ae0437fca97c052689083ef /academic/ladr/ladr.info
parent3cacc67aaaae2fca0ee117ea07b3d6321c6f86cc (diff)
downloadslackbuilds-4994e71c55c551c7d23b4c5530c5430bdd6b7f23.tar.gz
academic/ladr: Added to 12.0 repository
Diffstat (limited to 'academic/ladr/ladr.info')
-rw-r--r--academic/ladr/ladr.info8
1 files changed, 8 insertions, 0 deletions
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"