Index of /macports/distfiles/mpfr

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[DIR]3.1.2/2014-09-14 12:56 -
[DIR]3.1.3/2015-06-26 14:14 -
[DIR]3.1.4/2016-07-09 15:22 -
[DIR]3.1.5/2017-09-11 16:21 -
[DIR]3.1.6/2017-09-11 16:21 -
[DIR]4.0.1/2018-05-16 14:56 -
[DIR]4.0.2/2019-02-05 11:12 -
[   ]mpfr-3.1.6.tar.xz2017-09-09 15:57 1.1M
[   ]mpfr-4.1.0.tar.xz2020-09-19 04:22 1.5M
[   ]mpfr-4.1.1.tar.xz2022-12-02 06:15 1.4M
[   ]mpfr-4.2.0.tar.xz2023-01-09 15:17 1.4M
[   ]mpfr-4.2.1.tar.xz2023-08-28 16:11 1.4M

Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80