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
0dd9f92e52
freebsd-ports
/
math
/
coq
History
Kris Kennaway
0dd9f92e52
BROKEN: Does not build
...
Approved by: portmgr (implicit)
2006-03-06 20:30:52 +00:00
..
distinfo
Unbreak: Add vendor-patch for ocaml 3.09
2005-12-07 15:59:14 +00:00
Makefile
BROKEN: Does not build
2006-03-06 20:30:52 +00:00
pkg-descr
pkg-plist
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry
2006-01-22 02:30:01 +00:00