openbsd-ports/math/minisat/pkg
2009-09-18 09:31:33 +00:00
..
DESCR - resolve ambiguity about what SAT is (prodded by naddy@) 2009-09-18 09:31:33 +00:00
PLIST