../ libmpfr-dev_4.0.2-1_amd64.deb 01-Feb-2019 13:18 240088 libmpfr-doc_4.0.2-1_all.deb 01-Feb-2019 13:18 646652 libmpfr6_4.0.2-1_amd64.deb 01-Feb-2019 13:18 240292 mpfr4_4.0.2-1.debian.tar.xz 01-Feb-2019 11:18 10544 mpfr4_4.0.2-1.dsc 01-Feb-2019 11:18 1972 mpfr4_4.0.2.orig.tar.xz 01-Feb-2019 11:18 1441996