debian - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	README.Debian	1685	log plain
-rw-r--r--	TODO.Debian	164	log plain
-rw-r--r--	changelog	13873	log plain
-rw-r--r--	compat	2	log plain
-rw-r--r--	control	2603	log plain
-rw-r--r--	copyright	1958	log plain
-rw-r--r--	coq-interface.1	2434	log plain
-rw-r--r--	coq-libs.dirs	41	log plain
-rw-r--r--	coq-libs.doc-base	485	log plain
-rw-r--r--	coq-libs.install	96	log plain
-rw-r--r--	coq.dirs	65	log plain
-rw-r--r--	coq.docs	11	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	851	log plain
-rw-r--r--	coq.install	417	log plain
-rw-r--r--	coq.menu	154	log plain
-rw-r--r--	coq.xpm	1457	log plain
-rw-r--r--	coq_makefile.1	1419	log plain
-rw-r--r--	coqc.1	2766	log plain
-rw-r--r--	coqide.1	2622	log plain
-rw-r--r--	coqide.desktop	213	log plain
-rw-r--r--	coqide.dirs	97	log plain
-rw-r--r--	coqide.docs	19	log plain
-rw-r--r--	coqide.install	95	log plain
-rw-r--r--	coqide.menu	162	log plain
-rw-r--r--	coqmktop.1	1185	log plain
-rw-r--r--	coqtop.1	2442	log plain
-rw-r--r--	docs	15	log plain
d---------	patches	352	log plain
-rwxr-xr-x	purify_tarball	497	log plain
-rwxr-xr-x	rules	4096	log plain
-rw-r--r--	svn-deblayout	172	log plain
-rw-r--r--	watch	89	log plain