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

Mode	Name	Size
-rw-r--r--	CHANGES	14095	log plain
-rw-r--r--	ExtrHaskellBasic.v	739	log plain
-rw-r--r--	ExtrHaskellNatInt.v	419	log plain
-rw-r--r--	ExtrHaskellNatInteger.v	426	log plain
-rw-r--r--	ExtrHaskellNatNum.v	1804	log plain
-rw-r--r--	ExtrHaskellString.v	1509	log plain
-rw-r--r--	ExtrHaskellZInt.v	807	log plain
-rw-r--r--	ExtrHaskellZInteger.v	817	log plain
-rw-r--r--	ExtrHaskellZNum.v	867	log plain
-rw-r--r--	ExtrOcamlBasic.v	1431	log plain
-rw-r--r--	ExtrOcamlBigIntConv.v	3814	log plain
-rw-r--r--	ExtrOcamlIntConv.v	2977	log plain
-rw-r--r--	ExtrOcamlNatBigInt.v	2660	log plain
-rw-r--r--	ExtrOcamlNatInt.v	3425	log plain
-rw-r--r--	ExtrOcamlString.v	1466	log plain
-rw-r--r--	ExtrOcamlZBigInt.v	3474	log plain
-rw-r--r--	ExtrOcamlZInt.v	3223	log plain
-rw-r--r--	README	4800	log plain
-rw-r--r--	big.ml	5811	log plain
-rw-r--r--	common.ml	21183	log plain
-rw-r--r--	common.mli	2934	log plain
-rw-r--r--	extract_env.ml	23578	log plain
-rw-r--r--	extract_env.mli	1252	log plain
-rw-r--r--	extraction.ml	41607	log plain
-rw-r--r--	extraction.mli	1266	log plain
-rw-r--r--	extraction_plugin.mllib	112	log plain
-rw-r--r--	g_extraction.ml4	4435	log plain
-rw-r--r--	haskell.ml	12625	log plain
-rw-r--r--	haskell.mli	569	log plain
-rw-r--r--	json.ml	8128	log plain
-rw-r--r--	json.mli	39	log plain
-rw-r--r--	miniml.mli	6360	log plain
-rw-r--r--	mlutil.ml	45891	log plain
-rw-r--r--	mlutil.mli	4248	log plain
-rw-r--r--	modutil.ml	14184	log plain
-rw-r--r--	modutil.mli	1684	log plain
-rw-r--r--	ocaml.ml	26486	log plain
-rw-r--r--	ocaml.mli	567	log plain
-rw-r--r--	scheme.ml	7278	log plain
-rw-r--r--	scheme.mli	567	log plain
-rw-r--r--	table.ml	27449	log plain
-rw-r--r--	table.mli	6645	log plain
-rw-r--r--	vo.itarget	327	log plain