From owner-freebsd-ports Fri Sep 20 1:15:21 2002 Delivered-To: freebsd-ports@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.FreeBSD.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 34F2A37B401; Fri, 20 Sep 2002 01:15:21 -0700 (PDT) Received: from freefall.freebsd.org (freefall.FreeBSD.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id AC83243E3B; Fri, 20 Sep 2002 01:15:20 -0700 (PDT) (envelope-from knu@FreeBSD.org) Received: from freefall.freebsd.org (knu@localhost [127.0.0.1]) by freefall.freebsd.org (8.12.6/8.12.6) with ESMTP id g8K8FKCo080577; Fri, 20 Sep 2002 01:15:20 -0700 (PDT) (envelope-from knu@freefall.freebsd.org) Received: (from knu@localhost) by freefall.freebsd.org (8.12.6/8.12.6/Submit) id g8K8FKe8080573; Fri, 20 Sep 2002 17:15:20 +0900 (JST) Date: Fri, 20 Sep 2002 17:15:20 +0900 (JST) From: Akinori MUSHA Message-Id: <200209200815.g8K8FKe8080573@freefall.freebsd.org> To: michael@ketanu.dyndns.org, knu@FreeBSD.org, freebsd-ports@FreeBSD.org Subject: Re: ports/42554: new port: devel/pcre-ocaml Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org Synopsis: new port: devel/pcre-ocaml State-Changed-From-To: open->closed State-Changed-By: knu State-Changed-When: Fri Sep 20 17:13:17 JST 2002 State-Changed-Why: We already have devel/ocaml-pcre. If there is room for it to be improved, please make a patch against it and submit. Thanks. http://www.freebsd.org/cgi/query-pr.cgi?pr=42554 To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message