![[ICO]](/icons/blank.png){kind=icon}
![[PARENTDIR]](/icons/back.png){kind=icon}
![[ ]](/icons/compressed.png){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 4.4.tar.gz | 2019-09-28 00:36 | 44K | GZIP compressed docume> |
| ppx_deriving-5.2.1.t..> | 2021-04-28 03:28 | 45K | GZIP compressed docume> |
| ppx_deriving-6.0.2.t..> | 2024-06-02 14:24 | 47K | GZIP compressed docume> |
| ppx_deriving-6.1.1.t..> | 2026-06-13 19:47 | 48K | GZIP compressed docume> |