0bb7303c30
* 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
4 lines
152 B
Plaintext
4 lines
152 B
Plaintext
TIMESTAMP = 1467032430
|
|
SHA256 (picosat-965.tar.gz) = 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754
|
|
SIZE (picosat-965.tar.gz) = 64386
|