parsing - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	argextend.ml4	12388	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	1692	log plain
-rw-r--r--	doc.tex	221	log plain
-rw-r--r--	egrammar.ml	19264	log plain
-rw-r--r--	egrammar.mli	2150	log plain
-rw-r--r--	esyntax.ml	9545	log plain
-rw-r--r--	esyntax.mli	1907	log plain
-rw-r--r--	extend.ml	11873	log plain
-rw-r--r--	extend.mli	4492	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	13495	log plain
-rw-r--r--	g_constrnew.ml4	10971	log plain
-rw-r--r--	g_ltac.ml4	7790	log plain
-rw-r--r--	g_ltacnew.ml4	6741	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	14106	log plain
-rw-r--r--	g_tacticnew.ml4	15017	log plain
-rw-r--r--	g_vernac.ml4	17420	log plain
-rw-r--r--	g_vernacnew.ml4	25802	log plain
-rw-r--r--	g_zsyntax.ml	13010	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	27152	log plain
-rw-r--r--	pcoq.mli	6510	log plain
-rw-r--r--	ppconstr.ml	12317	log plain
-rw-r--r--	ppconstr.mli	1536	log plain
-rw-r--r--	pptactic.ml	29020	log plain
-rw-r--r--	pptactic.mli	3251	log plain
-rw-r--r--	prettyp.ml	19523	log plain
-rw-r--r--	prettyp.mli	2459	log plain
-rw-r--r--	printer.ml	8299	log plain
-rw-r--r--	printer.mli	2171	log plain
-rw-r--r--	printmod.ml	4880	log plain
-rw-r--r--	printmod.mli	749	log plain
-rw-r--r--	q_coqast.ml4	24539	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