K 10
svn:author
V 5
koobs
K 8
svn:date
V 27
2016-06-27T13:41:17.836234Z
K 7
svn:log
V 379
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

END