../ libmpfr-dev_3.1.5-1_amd64.deb 30-Dec-2022 20:13 202K libmpfr-doc_3.1.5-1_all.deb 30-Dec-2022 20:13 924K libmpfr4-dbg_3.1.5-1_amd64.deb 30-Dec-2022 20:13 435K libmpfr4_3.1.5-1_amd64.deb 30-Dec-2022 20:13 543K