Mark Linimon 74fa808d34 Mark some ports failing on power64. In cases where the error message ... was a stub, provide a real one. While here, pet portlint. Reported by: swills Approved by: portmgr (tier-2 blanket)		2017-05-20 16:58:10 +00:00
..
distinfo	- Update to 5.0.1	2016-11-11 19:43:03 +00:00
Makefile	Mark some ports failing on power64. In cases where the error message	2017-05-20 16:58:10 +00:00
pkg-descr	- Update math/cryptominisat and math/py-cryptominisat to 5.0.0	2016-09-01 13:25:49 +00:00
pkg-plist	- Update to 5.0.1	2016-11-11 19:43:03 +00:00