From owner-freebsd-ports-bugs@FreeBSD.ORG  Sat Oct 29 20:00:30 2005
Return-Path: <owner-freebsd-ports-bugs@FreeBSD.ORG>
X-Original-To: freebsd-ports-bugs@hub.freebsd.org
Delivered-To: freebsd-ports-bugs@hub.freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 4492616A420
	for <freebsd-ports-bugs@hub.freebsd.org>;
	Sat, 29 Oct 2005 20:00:30 +0000 (GMT)
	(envelope-from gnats@FreeBSD.org)
Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 4786743D4C
	for <freebsd-ports-bugs@hub.freebsd.org>;
	Sat, 29 Oct 2005 20:00:29 +0000 (GMT)
	(envelope-from gnats@FreeBSD.org)
Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1])
	by freefall.freebsd.org (8.13.3/8.13.3) with ESMTP id j9TK0TTl090526
	for <freebsd-ports-bugs@freefall.freebsd.org>;
	Sat, 29 Oct 2005 20:00:29 GMT
	(envelope-from gnats@freefall.freebsd.org)
Received: (from gnats@localhost)
	by freefall.freebsd.org (8.13.3/8.13.1/Submit) id j9TK0TAK090525;
	Sat, 29 Oct 2005 20:00:29 GMT (envelope-from gnats)
Resent-Date: Sat, 29 Oct 2005 20:00:29 GMT
Resent-Message-Id: <200510292000.j9TK0TAK090525@freefall.freebsd.org>
Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer)
Resent-To: freebsd-ports-bugs@FreeBSD.org
Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org,
	Rene Ladan <r.c.ladan@student.tue.nl>
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 8457C16A41F
	for <freebsd-gnats-submit@FreeBSD.org>;
	Sat, 29 Oct 2005 19:59:12 +0000 (GMT)
	(envelope-from nobody@FreeBSD.org)
Received: from www.freebsd.org (www.freebsd.org [216.136.204.117])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 2482B43D46
	for <freebsd-gnats-submit@FreeBSD.org>;
	Sat, 29 Oct 2005 19:59:12 +0000 (GMT)
	(envelope-from nobody@FreeBSD.org)
Received: from www.freebsd.org (localhost [127.0.0.1])
	by www.freebsd.org (8.13.1/8.13.1) with ESMTP id j9TJxBRC016355
	for <freebsd-gnats-submit@FreeBSD.org>; Sat, 29 Oct 2005 19:59:11 GMT
	(envelope-from nobody@www.freebsd.org)
Received: (from nobody@localhost)
	by www.freebsd.org (8.13.1/8.13.1/Submit) id j9TJxB2X016354;
	Sat, 29 Oct 2005 19:59:11 GMT (envelope-from nobody)
Message-Id: <200510291959.j9TJxB2X016354@www.freebsd.org>
Date: Sat, 29 Oct 2005 19:59:11 GMT
From: Rene Ladan <r.c.ladan@student.tue.nl>
To: freebsd-gnats-submit@FreeBSD.org
X-Send-Pr-Version: www-2.3
Cc: 
Subject: ports/88197: math/coq: drop maintainership
X-BeenThere: freebsd-ports-bugs@freebsd.org
X-Mailman-Version: 2.1.5
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: Sat, 29 Oct 2005 20:00:30 -0000


>Number:         88197
>Category:       ports
>Synopsis:       math/coq: drop maintainership
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Sat Oct 29 20:00:28 GMT 2005
>Closed-Date:
>Last-Modified:
>Originator:     Rene Ladan
>Release:        
>Organization:
>Environment:
>Description:
Drop maintainership of math/coq.

I don't use the software anymore and don't have access to a FreeBSD machine at the moment.
>How-To-Repeat:
              
>Fix:
              
>Release-Note:
>Audit-Trail:
>Unformatted: