pvalchev c440a7d291 Update maintainer's email address, remove a dead master site. ... from Yozo TODA <yozo@v007.vaio.ne.jp>		2002-01-31 20:41:38 +00:00
..
pkg	Import of coq 7.0.	2001-09-22 14:24:31 +00:00
distinfo	Update maintainer's email address, remove a dead master site.	2002-01-31 20:41:38 +00:00
Makefile	Update maintainer's email address, remove a dead master site.	2002-01-31 20:41:38 +00:00