mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-28 01:06:17 +00:00
Code Issues Releases Activity
019a2e8e8d
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