/math/coq/

by: Remington Lang <MrL0Lz@gmail.com> (maintainer)

PR:		ports/89209, ports/89210
Submitted by:	Remington Lang <MrL0Lz@gmail.com> (maintainer)

Update maintainer address.