../ libmpfr-dev_3.1.5-1_sw_64.deb 17-Jun-2019 15:21 250K libmpfr-doc_3.1.5-1_all.deb 17-Jun-2019 15:21 924K libmpfr4-dbg_3.1.5-1_sw_64.deb 17-Jun-2019 15:21 396K libmpfr4_3.1.5-1_sw_64.deb 17-Jun-2019 15:21 562K