This website requires JavaScript.
Explore
Help
Sign In
cpet
/
freebsd-ports
Watch
1
Star
0
Fork
0
You've already forked freebsd-ports
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
a037bcf9be
freebsd-ports
/
math
/
coq
History
Brendan Fabeny
ddc550ff99
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
...
dependent ports PR: 144982, 149958 Reviewed by: johans (earlier version of the patch)
2013-03-05 20:22:02 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist