summaryrefslogtreecommitdiff
path: root/math/minisat/PLIST
blob: e01a271d9592084da5b41ccb4bf9341451a507cc (plain) 
1
2

@comment $NetBSD: PLIST,v 1.1.1.1 2013/10/28 04:15:11 asau Exp $
bin/minisat
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 15:23:31 +0000