Index of /ubuntu-old/pool/main/m/mpfr/
name
size
date
libmpfr-dev_2.4.1-1ubuntu1_amd64.deb
449.6K
2022-01-19 07:39:02
libmpfr-doc_2.4.1-1ubuntu1_all.deb
0.62M
2022-01-19 07:39:02
libmpfr1ldbl_2.4.1-1ubuntu1_amd64.deb
407.8K
2022-01-19 07:39:02