../ libmpfr-dev_3.1.4-1_amd64.deb 13-Mar-2016 08:58 201966 libmpfr-doc_3.1.4-1_all.deb 13-Mar-2016 08:58 577948 libmpfr4-dbg_3.1.4-1_amd64.deb 13-Mar-2016 08:58 406338 libmpfr4_3.1.4-1_amd64.deb 13-Mar-2016 08:58 190628 mpfr4_3.1.4-1.debian.tar.xz 13-Mar-2016 08:48 9656 mpfr4_3.1.4-1.dsc 13-Mar-2016 08:48 1965 mpfr4_3.1.4.orig.tar.xz 13-Mar-2016 08:48 1122152