snj 4175a1077a Convert to buildlink3.		2004-04-28 05:06:28 +00:00
..
patches	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
DESCR	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
distinfo	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
Makefile	Convert to buildlink3.	2004-04-28 05:06:28 +00:00
MESSAGE	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
PLIST	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
PLIST.opt	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00