Mark Linimon 48fcf99acb math/coq: reset maintainer ...

Reset maintainer due to timeout (https://bugs.freebsd.org/283111).

Hat:		bugmeister

2025-11-22 22:23:56 -06:00

..

distinfo

…

Makefile

math/coq: reset maintainer

2025-11-22 22:23:56 -06:00

pkg-descr

…

pkg-plist

…