CVSROOT: /cvs Module name: ports Changes by: [email protected] 2011/11/02 13:18:35
Modified files:
math/minisat : Makefile distinfo
math/minisat/pkg: PLIST
Log message:
cope with upstream's rerolled distfile and ps.gz -> pdf
>From Antti Harri, ok jasper@
