mnag 2005-10-29 20:14:47 UTC FreeBSD ports repository Modified files: math/coq Makefile Log: Drop MAINTAINER PR: 88197 Submitted by: Rene Ladan <r.c.ladan at student.tue.nl> (maintainer) Revision Changes Path 1.7 +1 -1 ports/math/coq/Makefile