../ libmpfr-dev_3.1.5-1_armhf.deb 03-Oct-2016 16:08 188632 libmpfr-doc_3.1.5-1_all.deb 27-Sep-2016 12:12 945804 libmpfr4-dbg_3.1.5-1_armhf.deb 03-Oct-2016 16:08 434230 libmpfr4_3.1.5-1_armhf.deb 03-Oct-2016 16:08 530096