This website requires JavaScript.
Explore
Help
Sign In
cpet
/
openbsd-ports
Watch
1
Star
0
Fork
0
You've already forked openbsd-ports
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
openbsd-ports
/
math
/
coq
History
naddy
90bea15d2f
Drop USE_GROFF: trivial page footer differences only.
2015-01-22 21:17:46 +00:00
..
patches
coq update from chrisz@ and nigel@ by way of Yozo Toda (MAINTAINER).
2014-11-18 02:00:52 +00:00
pkg
Update to 8.4pl3; Yozo Toda.
2014-03-26 03:27:26 +00:00
distinfo
coq update from chrisz@ and nigel@ by way of Yozo Toda (MAINTAINER).
2014-11-18 02:00:52 +00:00
Makefile
Drop USE_GROFF: trivial page footer differences only.
2015-01-22 21:17:46 +00:00