@comment $NetBSD: PLIST,v 1.1.1.1 2013/10/28 04:15:11 asau Exp $ bin/minisat