From 060d2498f52279d67d50754863fe0f6d0191ef4e Mon Sep 17 00:00:00 2001 From: Heinz Wiesinger Date: Thu, 13 May 2010 00:20:07 +0200 Subject: academic/ladr: Updated for version 2009_11A --- academic/ladr/ladr.info | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'academic/ladr/ladr.info') diff --git a/academic/ladr/ladr.info b/academic/ladr/ladr.info index 8c7a1ae4cd..e3b7be7be0 100644 --- a/academic/ladr/ladr.info +++ b/academic/ladr/ladr.info @@ -1,8 +1,10 @@ PRGNAM="ladr" -VERSION="2008_09A" +VERSION="2009_11A" HOMEPAGE="http://www.cs.unm.edu/~mccune/prover9/" -DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-2008-09A.tar.gz" -MD5SUM="96cc67eae8f485c22d01449fd2639dae" -MAINTAINER="ppr:kut" +DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz" +MD5SUM="ab409f31ecbb4410b1c7d75deadea2c6" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +MAINTAINER="Heinz Wiesinger" EMAIL="pprkut@liwjatan.at" -APPROVED="Michiel" +APPROVED="Erik Hanson" -- cgit v1.2.3