1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-16 03:24:07 +00:00
Commit Graph

6 Commits

Author SHA1 Message Date
Mark Linimon
67691bae84 Reset marwan.burelle@lri.fr due to 6 months of inactivity, no response to
email, and various maintainer-timeouts.

Hat:		portmgr
2006-06-14 21:38:09 +00:00
Renato Botelho
9b29fb4f51 - Update to 3.09
- Add SHA256

PR:		ports/89807
Submitted by:	maintainer
2005-12-01 17:29:47 +00:00
Thierry Thomas
9e5dead7fd Take maintainership.
PR:		ports/81869
2005-06-04 22:20:36 +00:00
Sergey Matveychuk
c5da913353 - Reset maintainer
Requested by:	Eugene Ossintsev <eugos@gmx.net>
2005-04-07 05:17:16 +00:00
Volker Stolz
112693f387 Update to 3.08
PR:		ports/69255
Submitted by:	Eugene Ossintsev (maintainer)
2004-07-19 21:17:43 +00:00
Sergei Kolobov
53d7785946 Add ocaml-doc 3.07, documentation (HTML, PS) for the Objective Caml.
PR:		62293
Submitted by:	Eugene Ossintsev <eugos@gmx.net>
2004-02-27 07:51:03 +00:00