lib - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	bigint.ml	12784	log plain
-rw-r--r--	bigint.mli	1394	log plain
-rw-r--r--	bstack.ml	1776	log plain
-rw-r--r--	bstack.mli	889	log plain
-rw-r--r--	compat.ml4	2162	log plain
-rw-r--r--	doc.tex	143	log plain
-rw-r--r--	dyn.ml	957	log plain
-rw-r--r--	dyn.mli	714	log plain
-rw-r--r--	edit.ml	3697	log plain
-rw-r--r--	edit.mli	2395	log plain
-rw-r--r--	explore.ml	2684	log plain
-rw-r--r--	explore.mli	1889	log plain
-rw-r--r--	gmap.ml	4505	log plain
-rw-r--r--	gmap.mli	1229	log plain
-rw-r--r--	gmapl.ml	1040	log plain
-rw-r--r--	gmapl.mli	1009	log plain
-rw-r--r--	gset.ml	7994	log plain
-rw-r--r--	gset.mli	1309	log plain
-rw-r--r--	hashcons.ml	6262	log plain
-rw-r--r--	hashcons.mli	1708	log plain
-rw-r--r--	heap.ml	4516	log plain
-rw-r--r--	heap.mli	1600	log plain
-rw-r--r--	options.ml	3505	log plain
-rw-r--r--	options.mli	2006	log plain
-rw-r--r--	pp.ml4	10613	log plain
-rw-r--r--	pp.mli	3287	log plain
-rw-r--r--	pp_control.ml	3222	log plain
-rw-r--r--	pp_control.mli	1649	log plain
-rw-r--r--	predicate.ml	3050	log plain
-rw-r--r--	predicate.mli	2838	log plain
-rw-r--r--	profile.ml	23979	log plain
-rw-r--r--	profile.mli	5009	log plain
-rw-r--r--	rtree.ml	4517	log plain
-rw-r--r--	rtree.mli	1518	log plain
-rw-r--r--	system.ml	7726	log plain
-rw-r--r--	system.mli	2648	log plain
-rw-r--r--	tlm.ml	2067	log plain
-rw-r--r--	tlm.mli	1194	log plain
-rw-r--r--	util.ml	23000	log plain
-rw-r--r--	util.mli	10218	log plain