mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-08 06:48:28 +00:00
Code Issues Releases Activity
bf17204649
freebsd-ports/math/coq
History
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
Makefile Drop MAINTAINER 2005-10-29 20:14:47 +00:00
pkg-descr
pkg-plist