Index of /pub/linux/distributions/misc/gentoo-portage/dev-ml/ppx_deriving
Name
Last modified
Size
Description
Parent Directory
-
metadata.xml
2024-02-14 11:42
320
ppx_deriving-6.0.2.ebuild
2024-06-30 22:11
629
ppx_deriving-5.2.1-r2.ebuild
2023-12-29 23:10
761
Manifest
2024-06-30 22:11
1.5K
Apache/2.4 Server at linux.mathematik.tu-darmstadt.de Port 443