parsing - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	argextend.ml4	12140	log plain
-rwxr-xr-x	ast.ml	18831	log plain
-rwxr-xr-x	ast.mli	3561	log plain
-rw-r--r--	coqast.ml	4122	log plain
-rw-r--r--	coqast.mli	1690	log plain
-rw-r--r--	egrammar.ml	18833	log plain
-rw-r--r--	egrammar.mli	1871	log plain
-rw-r--r--	esyntax.ml	9545	log plain
-rw-r--r--	esyntax.mli	1909	log plain
-rw-r--r--	extend.ml	11873	log plain
-rw-r--r--	extend.mli	4489	log plain
-rw-r--r--	g_basevernac.ml4	19670	log plain
-rw-r--r--	g_cases.ml4	2698	log plain
-rw-r--r--	g_constr.ml4	13489	log plain
-rw-r--r--	g_constrnew.ml4	10920	log plain
-rw-r--r--	g_ltac.ml4	7790	log plain
-rw-r--r--	g_ltacnew.ml4	6591	log plain
-rw-r--r--	g_minicoq.ml4	5500	log plain
-rw-r--r--	g_minicoq.mli	1062	log plain
-rw-r--r--	g_module.ml4	1363	log plain
-rw-r--r--	g_natsyntax.ml	6100	log plain
-rw-r--r--	g_natsyntax.mli	634	log plain
-rw-r--r--	g_natsyntaxnew.mli	636	log plain
-rw-r--r--	g_prim.ml4	4267	log plain
-rw-r--r--	g_primnew.ml4	2513	log plain
-rw-r--r--	g_proofs.ml4	5496	log plain
-rw-r--r--	g_proofsnew.ml4	5037	log plain
-rw-r--r--	g_rsyntax.ml	11290	log plain
-rw-r--r--	g_tactic.ml4	14046	log plain
-rw-r--r--	g_tacticnew.ml4	14917	log plain
-rw-r--r--	g_vernac.ml4	17401	log plain
-rw-r--r--	g_vernacnew.ml4	25829	log plain
-rw-r--r--	g_zsyntax.ml	12902	log plain
-rw-r--r--	g_zsyntax.mli	631	log plain
-rw-r--r--	g_zsyntaxnew.mli	634	log plain
-rw-r--r--	lexer.ml4	17917	log plain
-rw-r--r--	lexer.mli	1520	log plain
-rw-r--r--	pcoq.ml4	26926	log plain
-rw-r--r--	pcoq.mli	6375	log plain
-rw-r--r--	ppconstr.ml	12357	log plain
-rw-r--r--	ppconstr.mli	1534	log plain
-rw-r--r--	pptactic.ml	28679	log plain
-rw-r--r--	pptactic.mli	3178	log plain
-rw-r--r--	prettyp.ml	19495	log plain
-rw-r--r--	prettyp.mli	2459	log plain
-rw-r--r--	printer.ml	8299	log plain
-rw-r--r--	printer.mli	2169	log plain
-rw-r--r--	printmod.ml	4880	log plain
-rw-r--r--	printmod.mli	749	log plain
-rw-r--r--	q_coqast.ml4	24469	log plain
-rw-r--r--	q_util.ml4	2397	log plain
-rw-r--r--	q_util.mli	1120	log plain
-rw-r--r--	search.ml	7023	log plain
-rw-r--r--	search.mli	2165	log plain
-rw-r--r--	tacextend.ml4	9479	log plain
-rw-r--r--	termast.ml	17035	log plain
-rw-r--r--	termast.mli	1959	log plain
-rw-r--r--	vernacextend.ml4	5253	log plain