1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-21 04:06:46 +00:00
freebsd-ports/lang/ocaml
Dirk Meyer 79c07b4f16 Deletion of patches didn't make it.
Thanks to Stephane.Legrand@bigfoot.com for reporting it.

PR:		25816
Submitted by:	patrick@watson.org
2001-03-20 04:34:01 +00:00
..
distinfo Update to new Version 3.01 2001-03-18 07:41:07 +00:00
Makefile Update to new Version 3.01 2001-03-18 07:41:07 +00:00
pkg-comment
pkg-descr Update to version 3.00. 2000-08-13 12:21:21 +00:00
pkg-plist Update to new Version 3.01 2001-03-18 07:41:07 +00:00