openbsd-ports/math/minisat
2019-11-03 14:07:41 +00:00
..
patches
pkg
distinfo
Makefile drop maintainership for a bunch of ports i haven't used in years 2019-11-03 14:07:41 +00:00