../ libmpfr-dev_4.0.2-1_armhf.deb 06-Feb-2019 10:08 205460 libmpfr-doc_4.0.2-1_all.deb 01-Feb-2019 08:30 1181172 libmpfr6_4.0.2-1_armhf.deb 06-Feb-2019 10:08 722632 mpfr4_4.0.2-1.debian.tar.xz 01-Feb-2019 07:29 10544 mpfr4_4.0.2-1.dsc 01-Feb-2019 07:29 1972 mpfr4_4.0.2.orig.tar.xz 01-Feb-2019 07:29 1441996