../ libmpfr-dev_3.1.2-2_armhf.deb 17-Dec-2014 11:10 539512 libmpfr-doc_3.1.2-2_all.deb 11-Dec-2014 12:06 916744 libmpfr4-dbg_3.1.2-2_armhf.deb 17-Dec-2014 11:10 660984 libmpfr4_3.1.2-2_armhf.deb 17-Dec-2014 11:10 501316 mpfr4_3.1.2-2.debian.tar.xz 11-Dec-2014 12:06 12804 mpfr4_3.1.2-2.dsc 11-Dec-2014 12:06 2116 mpfr4_3.1.2.orig.tar.xz 22-Oct-2013 05:15 1074388