summaryrefslogtreecommitdiff
path: root/academic/ladr/ladr.info
diff options
context:
space:
mode:
authorHeinz Wiesinger <pprkut@liwjatan.at>2010-05-11 22:21:34 +0200
committerMichiel van Wessem <michiel@slackbuilds.org>2010-05-11 22:21:34 +0200
commitb7d2872eb8846716dafde560546c1daec2c04e72 (patch)
tree15d66e16be0a6720c1d9184e346fbf8f4ffdeac2 /academic/ladr/ladr.info
parent8a0c2da0efef4c99fc67a9723d208fb0d58207c0 (diff)
downloadslackbuilds-b7d2872eb8846716dafde560546c1daec2c04e72.tar.gz
academic/ladr: Updated for version 2008_09A
Diffstat (limited to 'academic/ladr/ladr.info')
-rw-r--r--academic/ladr/ladr.info10
1 files changed, 5 insertions, 5 deletions
diff --git a/academic/ladr/ladr.info b/academic/ladr/ladr.info
index 5c14a17f13..8c7a1ae4cd 100644
--- a/academic/ladr/ladr.info
+++ b/academic/ladr/ladr.info
@@ -1,8 +1,8 @@
PRGNAM="ladr"
-VERSION="Dec_2007"
+VERSION="2008_09A"
HOMEPAGE="http://www.cs.unm.edu/~mccune/prover9/"
-DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-Dec-2007.tar.gz"
-MD5SUM="6e2896ed4cce4556bfcc321778df5dfe"
+DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-2008-09A.tar.gz"
+MD5SUM="96cc67eae8f485c22d01449fd2639dae"
MAINTAINER="ppr:kut"
-EMAIL="HMWiesinger@gmx.at"
-APPROVED="David Somero"
+EMAIL="pprkut@liwjatan.at"
+APPROVED="Michiel"