Mark Linimon b54b77fa86 These ports now build on powerpc64. ... While here, pet portlint. Approved by: portmgr (tier-2 blanket)		2018-09-25 07:29:25 +00:00
..
files	math/cryptominisat: Unbreak on aarch64.	2018-08-10 10:20:15 +00:00
distinfo	math/cryptominisat: Update to 5.6.3.	2018-08-10 09:24:41 +00:00
Makefile	These ports now build on powerpc64.	2018-09-25 07:29:25 +00:00
pkg-descr
pkg-plist	math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.	2018-06-17 20:36:22 +00:00