Index of /dev-libs/mpfr

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] mpfr-4.2.2-1.gpkg.tar   2025-04-26 20:32  480K
Apache Server at distfiles.gjdwebserver.nl Port 443