Index of /pub/linux/distributions/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-10-18 08:41
1.5K
ppx_deriving-6.0.3.ebuild
2024-10-18 08:41
629
Apache/2.4 Server at linux.mathematik.tu-darmstadt.de Port 443