mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-20 00:21:35 +00:00
Code Issues Releases Activity
a65430e3c6
freebsd-ports/lang/ocaml
History
Martin Wilke 56dbebea9f - Update to 3.12.1 
- Pass maintainership to submitter

PR:		162576
Submitted by:	michael.grunewald@laposte.net
Feature safe:	yes
2011-11-28 11:42:03 +00:00
..
files
distinfo - Update to 3.12.1 2011-11-28 11:42:03 +00:00
Makefile - Update to 3.12.1 2011-11-28 11:42:03 +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