debian - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	README.Debian	1687	log plain
-rw-r--r--	README.source	1289	log plain
-rw-r--r--	TODO.Debian	164	log plain
-rw-r--r--	changelog	16398	log plain
-rw-r--r--	compat	2	log plain
-rw-r--r--	control	2714	log plain
-rw-r--r--	copyright	1958	log plain
-rw-r--r--	coq-libs.dirs	41	log plain
-rw-r--r--	coq-libs.doc-base	495	log plain
-rw-r--r--	coq-libs.install	60	log plain
-rw-r--r--	coq-libs.links	60	log plain
-rw-r--r--	coq.dirs.in	140	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	752	log plain
-rw-r--r--	coq.links.in	156	log plain
-rw-r--r--	coq.menu	154	log plain
-rw-r--r--	coq.xpm	1457	log plain
-rw-r--r--	coqide.1	2622	log plain
-rw-r--r--	coqide.desktop	198	log plain
-rw-r--r--	coqide.dirs	97	log plain
-rw-r--r--	coqide.docs	8	log plain
-rw-r--r--	coqide.install	98	log plain
-rw-r--r--	coqide.links.in	130	log plain
-rw-r--r--	coqide.menu	162	log plain
-rw-r--r--	docs	15	log plain
d---------	patches	34	log plain
-rwxr-xr-x	purify_tarball	534	log plain
-rwxr-xr-x	rules	2360	log plain
-rw-r--r--	watch	155	log plain