debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	.depend	214632	log plain
-rw-r--r--	.depend.camlp4	1595	log plain
-rw-r--r--	.depend.coq	46275	log plain
-rw-r--r--	.depend.coq7	38737	log plain
-rw-r--r--	CHANGES	42212	log plain
-rw-r--r--	COPYRIGHT	1383	log plain
-rw-r--r--	CREDITS	4570	log plain
-rw-r--r--	INSTALL	9222	log plain
-rw-r--r--	INSTALL.ide	3034	log plain
-rw-r--r--	INSTALL.macosx	633	log plain
-rw-r--r--	INSTALL.win	2071	log plain
-rw-r--r--	LICENSE	26430	log plain
-rw-r--r--	Makefile	53429	log plain
-rw-r--r--	Makefile.dep	721	log plain
-rw-r--r--	README	1876	log plain
-rw-r--r--	README.win	1281	log plain
d---------	config	128	log plain
-rwxr-xr-x	configure	14253	log plain
d---------	contrib	437	log plain
d---------	contrib7	302	log plain
d---------	debian	1237	log plain
d---------	dev	860	log plain
d---------	ide	1123	log plain
d---------	interp	837	log plain
d---------	kernel	1688	log plain
d---------	lib	1554	log plain
d---------	library	1178	log plain
d---------	man	491	log plain
d---------	parsing	2332	log plain
d---------	pretyping	1767	log plain
d---------	proofs	825	log plain
d---------	scripts	74	log plain
d---------	states	85	log plain
d---------	states7	41	log plain
d---------	syntax	113	log plain
d---------	tactics	1831	log plain
d---------	test-suite	308	log plain
d---------	theories	462	log plain
d---------	theories7	462	log plain
d---------	tools	718	log plain
d---------	toplevel	1680	log plain
d---------	translate	255	log plain