freebsd-ports/math/coq
Marcus Alves Grando 6271d456ad Drop MAINTAINER
PR:		88197
Submitted by:	Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
2005-10-29 20:14:47 +00:00
..
distinfo Update to 8.0p2 2005-02-02 11:34:42 +00:00
Makefile Drop MAINTAINER 2005-10-29 20:14:47 +00:00
pkg-descr
pkg-plist Fix packaging 2005-01-18 16:44:23 +00:00