dfanfdsanfdsa/ood-ports-lbsd-fork1 @ f08698bfd37fd2660c12a33be02e897cc2b4ec42

派生自 jimmy/ood-ports-lbsd

sthen c374fd92b4 cope with upstream's rerolled distfile and ps.gz -> pdf		13 年之前
..
DESCR	05dd33cd01 update to minisat 2.2.0	14 年之前
PLIST	c374fd92b4 cope with upstream's rerolled distfile and ps.gz -> pdf	13 年之前