../ mpfr4_3.1.2-2.debian.tar.xz 13-Mar-2015 19:30 12804 mpfr4_3.1.2-2.dsc 13-Mar-2015 19:30 2116 mpfr4_3.1.2.orig.tar.xz 14-Jan-2014 18:11 1074388 mpfr4_4.0.2-1.debian.tar.xz 06-Feb-2019 09:58 10544 mpfr4_4.0.2-1.dsc 06-Feb-2019 09:58 1972 mpfr4_4.0.2.orig.tar.xz 06-Feb-2019 09:58 1441996