diff options
| author | Heinz Wiesinger <HMWiesinger@gmx.at> | 2010-05-11 20:00:01 +0200 |
|---|---|---|
| committer | David Somero <xgizzmo@slackbuilds.org> | 2010-05-11 20:00:01 +0200 |
| commit | 4994e71c55c551c7d23b4c5530c5430bdd6b7f23 (patch) | |
| tree | 9e7303915866b2e51ae0437fca97c052689083ef /academic/ladr/ladr.info | |
| parent | 3cacc67aaaae2fca0ee117ea07b3d6321c6f86cc (diff) | |
academic/ladr: Added to 12.0 repository
Diffstat (limited to 'academic/ladr/ladr.info')
| -rw-r--r-- | academic/ladr/ladr.info | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/academic/ladr/ladr.info b/academic/ladr/ladr.info new file mode 100644 index 0000000000000..5c14a17f13331 --- /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" |