Drop maintainership of math/coq. I don't use the software anymore and don't have access to a FreeBSD machine at the moment.
State Changed From-To: open->closed Fixed. Thanks.