mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-11 02:50:24 +00:00
Code Issues Releases Activity
979f2e64d1
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