ports/88197: math/coq: drop maintainership

[Rene Ladan]

>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: