cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
810e2b1ae5
openbsd-ports/math/coq
History
espie 0662a4e9d6 PERMIT_* / REGRESS->TEST sweep
2013-03-11 11:20:26 +00:00
..
patches Update to 8.4pl1 by Daniel Dickman <didickman@gmail.com> 2013-02-07 09:43:15 +00:00
pkg
distinfo Update to 8.4pl1 by Daniel Dickman <didickman@gmail.com> 2013-02-07 09:43:15 +00:00
Makefile PERMIT_* / REGRESS->TEST sweep 2013-03-11 11:20:26 +00:00