040000 tree 9ccd11e29f1a0e2635625d0dc735d4a73d512473	cloog
100644 blob a94cd8245a6cdfcc382f96e613b63a09aeeb62ca	gmp.h
040000 tree 3c69f0bdf8c3e7f615109acbca0836ab870012c2	isl
100644 blob 02c19438b0d470acae2d6ef755a3cd52bf4b17eb	mpc.h
100644 blob 2775a61b7a3985879affe3f675fea214e3f32dfe	mpf2mpfr.h
100644 blob 2e9ad2782f8e6651e478babdb1c7e6aa13ec0830	mpfr.h