From owner-freebsd-ports-bugs@FreeBSD.ORG  Tue Aug  5 06:58:58 2003
Return-Path: <owner-freebsd-ports-bugs@FreeBSD.ORG>
Delivered-To: freebsd-ports-bugs@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 64A8137B401
	for <freebsd-ports-bugs@FreeBSD.org>;
	Tue,  5 Aug 2003 06:58:58 -0700 (PDT)
Received: from web13402.mail.yahoo.com (web13402.mail.yahoo.com
	[216.136.175.60])
	by mx1.FreeBSD.org (Postfix) with SMTP id 8438643F93
	for <freebsd-ports-bugs@FreeBSD.org>;
	Tue,  5 Aug 2003 06:58:57 -0700 (PDT)
	(envelope-from giffunip@yahoo.com)
Message-ID: <20030805135857.76628.qmail@web13402.mail.yahoo.com>
Received: from [200.91.194.129] by web13402.mail.yahoo.com via HTTP;
	Tue, 05 Aug 2003 14:58:57 BST
Date: Tue, 5 Aug 2003 14:58:57 +0100 (BST)
From: "=?iso-8859-1?q?Pedro=20F.=20Giffuni?=" <giffunip@yahoo.com>
To: FreeBSD-gnats-submit@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org
In-Reply-To: <200308022220.h72MKCbg054998@freefall.freebsd.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Subject: Re: ports/55196: NEW port: math/taucs
X-BeenThere: freebsd-ports-bugs@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Ports bug reports <freebsd-ports-bugs.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>,
	<mailto:freebsd-ports-bugs-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ports-bugs>
List-Post: <mailto:freebsd-ports-bugs@freebsd.org>
List-Help: <mailto:freebsd-ports-bugs-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>,
	<mailto:freebsd-ports-bugs-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 05 Aug 2003 13:58:58 -0000

Author has confirmed this can be mirrored (license is included in the PDF file).

________________________________________________________________________
Want to chat instantly with your online friends?  Get the FREE Yahoo!
Messenger http://uk.messenger.yahoo.com/