mlgmp - Debian dgit repo for package mlgmp

Mode	Name	Size
-rw-r--r--	ChangeLog	833	log plain
-rw-r--r--	FAQ.txt	541	log plain
-rw-r--r--	INSTALL.txt	180	log plain
-rw-r--r--	LGPL.txt	25284	log plain
-rw-r--r--	Makefile	2646	log plain
-rw-r--r--	README	2545	log plain
-rw-r--r--	benchmarks.txt	1576	log plain
-rw-r--r--	config.h	1578	log plain
-rw-r--r--	conversions.c	3651	log plain
-rw-r--r--	creal.ml	21561	log plain
-rw-r--r--	creal.mli	3025	log plain
-rw-r--r--	creal_pp.ml	98	log plain
-rw-r--r--	creal_pp.mli	50	log plain
d---------	debian	618	log plain
-rw-r--r--	essai.ml	4287	log plain
-rw-r--r--	gmp.ml	21566	log plain
-rw-r--r--	gmp.mli	17295	log plain
-rw-r--r--	install_creal_pp.ml	290	log plain
-rw-r--r--	install_pp.ml	1831	log plain
-rw-r--r--	mlgmp.h	88	log plain
-rw-r--r--	mlgmp_f.c	7275	log plain
-rw-r--r--	mlgmp_fr.c	9831	log plain
-rw-r--r--	mlgmp_misc.c	1057	log plain
-rw-r--r--	mlgmp_q.c	4988	log plain
-rw-r--r--	mlgmp_random.c	1007	log plain
-rw-r--r--	mlgmp_z.c	19592	log plain
-rw-r--r--	pretty_gmp.ml	2239	log plain
-rw-r--r--	pretty_gmp.mli	397	log plain
-rw-r--r--	test_creal.ml	5019	log plain
-rw-r--r--	test_mlgmp.ml	1352	log plain
-rw-r--r--	test_suite.ml	5285	log plain