../ libmpfr-dev_4.0.2-1_amd64.deb 25-Jan-2023 20:44 240K libmpfr-doc_4.0.2-1_all.deb 25-Jan-2023 20:44 1M libmpfr6_4.0.2-1_amd64.deb 25-Jan-2023 20:44 757K