100644 blob 1f58731bfff9dc943f12587823e5734594fe2e28	cloog.in
100644 blob dd0a27ce1999d79d3a811b72ee7517c502172729	gmp.in
100644 blob 51854c89e0952a18f4629456462c35587b693120	isl.in
100644 blob 64eff124052514ee8fb823bee215adb83f429e04	libelf.in
100644 blob f29baa914b7f54aaf8a4a9e9ebdad85d528ff4ca	mpc.in
100644 blob d77cd0aa690534c4fb47cd4a1e9c9bdd6bab8ba5	mpfr.in
100644 blob 1861e7a57bf7c26d43f7ca2ebdb57bff45583158	ppl.in