../ libmpfr-dev_4.0.2-1_amd64.deb 16-Oct-2023 14:03 242704 libmpfr-doc_4.0.2-1_all.deb 16-Oct-2023 14:03 1181222 libmpfr6_4.0.2-1_amd64.deb 16-Oct-2023 14:03 775540