extraction « plugins - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	CHANGES	14095	log plain
-rw-r--r--	ExtrOcamlBasic.v	1457	log plain
-rw-r--r--	ExtrOcamlBigIntConv.v	3814	log plain
-rw-r--r--	ExtrOcamlIntConv.v	2977	log plain
-rw-r--r--	ExtrOcamlNatBigInt.v	2664	log plain
-rw-r--r--	ExtrOcamlNatInt.v	3104	log plain
-rw-r--r--	ExtrOcamlString.v	1466	log plain
-rw-r--r--	ExtrOcamlZBigInt.v	3350	log plain
-rw-r--r--	ExtrOcamlZInt.v	2921	log plain
-rw-r--r--	README	4802	log plain
-rw-r--r--	big.ml	5811	log plain
-rw-r--r--	common.ml	17151	log plain
-rw-r--r--	common.mli	1967	log plain
-rw-r--r--	extract_env.ml	18555	log plain
-rw-r--r--	extract_env.mli	980	log plain
-rw-r--r--	extraction.ml	35910	log plain
-rw-r--r--	extraction.mli	1216	log plain
-rw-r--r--	extraction_plugin.mllib	107	log plain
-rw-r--r--	g_extraction.ml4	3885	log plain
-rw-r--r--	haskell.ml	11836	log plain
-rw-r--r--	haskell.mli	633	log plain
-rw-r--r--	miniml.mli	5633	log plain
-rw-r--r--	mlutil.ml	41181	log plain
-rw-r--r--	mlutil.mli	4237	log plain
-rw-r--r--	modutil.ml	12761	log plain
-rw-r--r--	modutil.mli	1647	log plain
-rw-r--r--	ocaml.ml	25866	log plain
-rw-r--r--	ocaml.mli	629	log plain
-rw-r--r--	scheme.ml	6597	log plain
-rw-r--r--	scheme.mli	630	log plain
-rw-r--r--	table.ml	23749	log plain
-rw-r--r--	table.mli	5564	log plain
-rw-r--r--	vo.itarget	157	log plain