pkgsrc/math/minisat
2018-07-18 00:06:10 +00:00
..
patches
DESCR
distinfo
Makefile
PLIST