1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-20 00:21:35 +00:00
freebsd-ports/lang/ocaml
Thomas Abthorpe 83cb816d41 Reassign stas' ports back to the pool at his request, thanks for your years
of service, we hope to see you back.
2011-11-05 03:40:18 +00:00
..
files
distinfo
Makefile Reassign stas' ports back to the pool at his request, thanks for your years 2011-11-05 03:40:18 +00:00
pkg-descr
pkg-plist Fix plist when the THREADS option is off. Also convert to @dirrmtry 2011-10-25 08:14:31 +00:00