openbsd-ports/math/minisat
2011-11-02 19:18:35 +00:00
..
patches update to minisat 2.2.0 2010-08-19 14:19:22 +00:00
pkg cope with upstream's rerolled distfile and ps.gz -> pdf 2011-11-02 19:18:35 +00:00
distinfo cope with upstream's rerolled distfile and ps.gz -> pdf 2011-11-02 19:18:35 +00:00
Makefile cope with upstream's rerolled distfile and ps.gz -> pdf 2011-11-02 19:18:35 +00:00