./math/prover9/ladr [Library for Automated Deduction Research]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 2007, Package name: ladr-dec-2007
Maintained by: The OpenBSD ports mailing-list
Master sites:
Description
Prover9, Mace4, and several related programs come packaged in a system
called LADR (Library for Automated Deduction Research).


Filesize: 1745.337 KB
Version History (View Complete History)
  • (2011-03-08) Package added to openports.se, version ladr-dec-2007 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2015-01-17 20:16:09 by Christian Weisgerber | Files touched by this commit (3349)
Log message:
Drop remaining MD5/RMD160/SHA1 checksums.
   2011-07-05 03:13:36 by Jasper Lievisse Adriaanse | Files touched by this commit (2)
Log message:
missing bump
   2011-06-29 12:11:25 by Jasper Lievisse Adriaanse | Files touched by this commit (2)
Log message:
- tweak MASTER_SITES
   2011-06-08 11:36:01 by Jasper Lievisse Adriaanse | Files touched by this commit (7)
Log message:
bump after default python version switch