Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
Manifest 2025-07-11 11:41 2.1K
metadata.xml 2025-03-20 13:38 322
ppx_globalize-0.16.0.ebuild 2025-03-20 13:38 552
ppx_globalize-0.17.0-r2.ebuild 2025-07-09 09:00 698
ppx_globalize-0.17.2.ebuild 2025-07-11 11:41 675