040000 tree 9ccd11e29f1a0e2635625d0dc735d4a73d512473	cloog
100644 blob f973c14f7603b40de477d1ee7b36cc7970351d3f	gmp.h
040000 tree 1605cfe00bb51024c90b2ba51254bf737f9c6906	isl
100644 blob 02c19438b0d470acae2d6ef755a3cd52bf4b17eb	mpc.h
100644 blob 2775a61b7a3985879affe3f675fea214e3f32dfe	mpf2mpfr.h
100644 blob 2e9ad2782f8e6651e478babdb1c7e6aa13ec0830	mpfr.h