Mathieu Arnold 8d6597e0bb Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p. ... With hat: portmgr Sponsored by: Absolight		2016-04-01 14:16:16 +00:00
..
distinfo
Makefile	Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.	2016-04-01 14:16:16 +00:00
pkg-descr
pkg-plist	Update Coq to 8.4pl6	2015-05-23 10:06:54 +00:00