freebsd-ports/math/cryptominisat
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
distinfo
Makefile
pkg-descr
pkg-plist