/math/coq/

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix license information for portgs that use "the same license as Perl".	mat	2017-09-15	1	-1/+1
*	Convert tab after WWW: in pkg-descrs to single space as per PHB	amdmi3	2016-05-24	1	-1/+1
*	Change the way Perl modules are installed, update the default Perl to 5.18.	mat	2014-11-26	2	-1/+1
*	Cleanup plist	bapt	2014-10-27	1	-3/+0
*	- Stage support	miwi	2014-01-28	2	-3/+1
*	Add NO_STAGE all over the place in preparation for the staging support (cat: ...	bapt	2013-09-21	1	-0/+1