openbsd-ports/math/prover9/p9m4
2015-11-02 11:56:54 +00:00
..
files
patches
pkg
distinfo
Makefile a few minor pkg_subst fixes, for the coming patch (disallow -c without -m 2015-11-02 11:56:54 +00:00