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

..

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