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-12-02 01:20:54 +00:00
Code
Issues
Releases
Activity
cec0b576ea
freebsd-ports
/
lang
/
ocamlduce
History
Pav Lucistnik
0eca88d377
This port has been broken for 3+ months, thus
...
- Mark DEPRECATED and schedule for expiration in one month With hat: portmgr
2009-12-08 14:30:09 +00:00
..
distinfo
Makefile
This port has been broken for 3+ months, thus
2009-12-08 14:30:09 +00:00
pkg-descr
pkg-plist