../ libmpfr-dev_4.0.2-1+b1_amd64.deb 25-Nov-2025 21:08 237464 libmpfr-doc_4.0.2-1+b1_all.deb 09-Dec-2025 18:13 1176032 libmpfr6_4.0.2-1+b1_amd64.deb 04-Dec-2025 15:09 770160