Bug 88197

Summary: math/coq: drop maintainership
Product: Ports & Packages Reporter: Rene Ladan <r.c.ladan>
Component: Individual Port(s)Assignee: freebsd-ports-bugs (Nobody) <ports-bugs>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   

Description Rene Ladan 2005-10-29 21:00:28 UTC 
Drop maintainership of math/coq.

I don't use the software anymore and don't have access to a FreeBSD machine at the moment.
Comment 1 Marcus Alves Grando freebsd_committer freebsd_triage 2005-10-29 21:15:14 UTC 
State Changed
From-To: open->closed

Fixed. Thanks.