./math/prover9/p9m4 [prover9/mace4 GUI]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 05, Package name: p9m4-05
Maintained by: The OpenBSD ports mailing-list
Master sites:
Description
GUI for the LADR (prover9 mace4) tools.


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

CVS Commit History:

   2015-11-02 04:56:55 by Marc Espie | Files touched by this commit (27)
Log message:
a few minor pkg_subst fixes, for the coming patch (disallow -c without -m
outside of WRKDIR)
   2015-05-25 01:54:28 by Jasper Lievisse Adriaanse | Files touched by this commit (29)
Log message:
remove a whole bunch more @rm -f cases
   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