sthen c374fd92b4 cope with upstream's rerolled distfile and ps.gz -> pdf ...

From Antti Harri, ok jasper@

2011-11-02 19:18:35 +00:00

..

DESCR

update to minisat 2.2.0

2010-08-19 14:19:22 +00:00

PLIST

cope with upstream's rerolled distfile and ps.gz -> pdf

2011-11-02 19:18:35 +00:00