ladr.info 308 B

1234567891011
  1. PRGNAM="ladr"
  2. VERSION="2009_11A"
  3. HOMEPAGE="http://www.cs.unm.edu/~mccune/prover9/"
  4. DOWNLOAD="http://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz"
  5. MD5SUM="ab409f31ecbb4410b1c7d75deadea2c6"
  6. DOWNLOAD_x86_64=""
  7. MD5SUM_x86_64=""
  8. REQUIRES=""
  9. MAINTAINER="Heinz Wiesinger"
  10. EMAIL="pprkut@liwjatan.at"