debian-coq - Debian packaging for Coq

Mode	Name	Size
d---------	.github	97	log plain
-rw-r--r--	.gitlab-ci.yml	9849	log plain
-rw-r--r--	.merlin.in	559	log plain
-rw-r--r--	CHANGES.md	191164	log plain
-rw-r--r--	CONTRIBUTING.md	9870	log plain
-rw-r--r--	CREDITS	8087	log plain
-rw-r--r--	INSTALL	12475	log plain
-rw-r--r--	LICENSE	24381	log plain
-rw-r--r--	META.coq.in	10146	log plain
-rw-r--r--	Makefile	12745	log plain
-rw-r--r--	Makefile.build	30487	log plain
-rw-r--r--	Makefile.checker	4178	log plain
-rw-r--r--	Makefile.ci	1714	log plain
-rw-r--r--	Makefile.common	6132	log plain
-rw-r--r--	Makefile.dev	6736	log plain
-rw-r--r--	Makefile.doc	9954	log plain
-rw-r--r--	Makefile.ide	10369	log plain
-rw-r--r--	Makefile.install	5691	log plain
-rw-r--r--	Makefile.vofiles	1536	log plain
-rw-r--r--	README.md	3137	log plain
-rw-r--r--	appveyor.yml	297	log plain
d---------	checker	1941	log plain
d---------	clib	2573	log plain
d---------	config	42	log plain
-rwxr-xr-x	configure	944	log plain
-rw-r--r--	configure.ml	49609	log plain
d---------	coqpp	166	log plain
d---------	debian	1042	log plain
-rw-r--r--	default.nix	3256	log plain
d---------	dev	1237	log plain
d---------	doc	207	log plain
d---------	engine	1553	log plain
d---------	grammar	202	log plain
d---------	ide	3342	log plain
-rwxr-xr-x	install.sh	248	log plain
d---------	interp	1571	log plain
d---------	kernel	3770	log plain
d---------	lib	1905	log plain
d---------	library	1409	log plain
d---------	man	492	log plain
d---------	parsing	580	log plain
d---------	plugins	638	log plain
d---------	pretyping	2826	log plain
d---------	printing	595	log plain
d---------	proofs	1297	log plain
-rw-r--r--	shell.nix	251	log plain
d---------	stm	944	log plain
d---------	tactics	1678	log plain
d---------	test-suite	985	log plain
d---------	theories	833	log plain
d---------	tools	1094	log plain
d---------	topbin	235	log plain
d---------	toplevel	621	log plain
d---------	vernac	2657	log plain