Kubilay Kocak 0bb7303c30 math/picosat: Update to 965 ... * Update DISTVERSION and distinfo checksum (965) * Add CONFIGURE_SCRIPT (filename change to .sh extension) * Add DEBUG option * Use --trace, --stats (and --logs) with DEBUG, rather than in the default (non-debug) build. * Specify --static explicitly even though its built to avoid possible future footshooting. http://fmv.jku.at/picosat/NEWS		2016-06-27 13:41:17 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist