debian - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	NEWS	335	log plain
-rw-r--r--	README.Debian	687	log plain
-rw-r--r--	README.source	1786	log plain
-rw-r--r--	TODO.Debian	164	log plain
-rw-r--r--	changelog	28291	log plain
-rw-r--r--	compat	3	log plain
-rw-r--r--	control	3399	log plain
-rw-r--r--	copyright	7259	log plain
-rw-r--r--	coq-theories.dirs	45	log plain
-rw-r--r--	coq-theories.doc-base	488	log plain
-rw-r--r--	coq-theories.install.in	76	log plain
-rw-r--r--	coq-theories.links	145	log plain
-rw-r--r--	coq.emacsen-install	1227	log plain
-rw-r--r--	coq.emacsen-remove	453	log plain
-rw-r--r--	coq.emacsen-startup	853	log plain
-rw-r--r--	coq.install.in	1023	log plain
-rw-r--r--	coq.links.in	66	log plain
-rw-r--r--	coq.lintian-overrides	95	log plain
-rw-r--r--	coq.xpm	1457	log plain
-rw-r--r--	coqvars.mk.in	284	log plain
-rw-r--r--	docs	26	log plain
-rw-r--r--	gbp.conf	1676	log plain
-rw-r--r--	libcoq-ocaml-dev.install.in	555	log plain
-rw-r--r--	libcoq-ocaml.install.in	2675	log plain
-rw-r--r--	not-installed	248	log plain
d---------	patches	603	log plain
-rwxr-xr-x	rules	3553	log plain
d---------	source	75	log plain
-rw-r--r--	watch	144	log plain