This website requires JavaScript.
Explore
Help
Sign In
mirror
/
freebsd-ports
Watch
1
Star
0
Fork
0
You've already forked freebsd-ports
mirror of
https://git.FreeBSD.org/ports.git
synced
2024-11-29 01:13:08 +00:00
Code
Issues
Releases
Activity
e4bf1fcd30
freebsd-ports
/
math
/
coq
History
Edwin Groothuis
a437d08eca
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry
...
Approved by: krion@ PR: ports/88711 (related)
2006-01-22 02:30:01 +00:00
..
distinfo
Unbreak: Add vendor-patch for ocaml 3.09
2005-12-07 15:59:14 +00:00
Makefile
Unbreak: Add vendor-patch for ocaml 3.09
2005-12-07 15:59:14 +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