From owner-freebsd-ports Tue Mar 28 9:17:36 2000 Delivered-To: freebsd-ports@freebsd.org Received: from freefall.freebsd.org (freefall.FreeBSD.ORG [204.216.27.21]) by hub.freebsd.org (Postfix) with ESMTP id E126E37BF84; Tue, 28 Mar 2000 09:17:34 -0800 (PST) (envelope-from ade@FreeBSD.org) Received: (from ade@localhost) by freefall.freebsd.org (8.9.3/8.9.2) id JAA31901; Tue, 28 Mar 2000 09:17:33 -0800 (PST) (envelope-from ade@FreeBSD.org) Date: Tue, 28 Mar 2000 09:17:33 -0800 (PST) From: Message-Id: <200003281717.JAA31901@freefall.freebsd.org> To: marko@kind.ki.informatik.uni-frankfurt.de, ade@FreeBSD.org, freebsd-ports@FreeBSD.org, ade@FreeBSD.org Subject: Re: ports/10007: New port: lang/mercury (the mercury compiler version 0.8) Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org Synopsis: New port: lang/mercury (the mercury compiler version 0.8) State-Changed-From-To: open->feedback State-Changed-By: ade State-Changed-When: Tue Mar 28 09:14:38 PST 2000 State-Changed-Why: The version mentioned in the port submission no longer exists. If submitter can provide a new port based on the currently available version, I'll commit it, otherwise this PR will be closed one month from today. Responsible-Changed-From-To: freebsd-ports->ade Responsible-Changed-By: ade Responsible-Changed-When: Tue Mar 28 09:14:38 PST 2000 Responsible-Changed-Why: Remind myself to watch this one. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message