sthen c374fd92b4 cope with upstream's rerolled distfile and ps.gz -> pdf %!s(int64=13) %!d(string=hai) anos
..
DESCR 05dd33cd01 update to minisat 2.2.0 %!s(int64=14) %!d(string=hai) anos
PLIST c374fd92b4 cope with upstream's rerolled distfile and ps.gz -> pdf %!s(int64=13) %!d(string=hai) anos