/components/mpfr/patches/ s11u1-sru
drwxr-xr-x [up]
-rw-r--r-- 2013-05-17 20:31 +0200 431 000-mpfr-gmp.h.patch
-rw-r--r-- 2013-05-17 20:31 +0200 3953 001-configure.patch