Index of /Mirrors/gentoo-portage/dev-ml/ppx_deriving
Name
Last modified
Size
Description
Parent Directory
-
ppx_deriving-5.2.1-r2.ebuild
2023-12-29 23:10
761
metadata.xml
2024-02-14 11:42
320
Manifest
2024-02-14 11:42
918
Apache/2.4.59 (Fedora Linux) Server at rhlx01.hs-esslingen.de Port 443