Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
Manifest | 2024-10-18 07:41 | 1.5K | |
metadata.xml | 2024-02-14 10:42 | 320 | |
ppx_deriving-5.2.1-r2.ebuild | 2023-12-29 22:10 | 761 | |
ppx_deriving-6.0.3.ebuild | 2024-10-18 07:41 | 629 | |
Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
Manifest | 2024-10-18 07:41 | 1.5K | |
metadata.xml | 2024-02-14 10:42 | 320 | |
ppx_deriving-5.2.1-r2.ebuild | 2023-12-29 22:10 | 761 | |
ppx_deriving-6.0.3.ebuild | 2024-10-18 07:41 | 629 | |