![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| patches.xml | 2023-08-06 09:42 | 1.4K | |
| ppx-deriving_4.1-1.1.patch-basis | 2017-10-28 16:13 | 6 | |
| ppx-deriving_4.1-1.1.patch.bz2 | 2017-10-28 16:13 | 6.3K | |
| ppx-deriving_4.2.1-1.patch-basis | 2018-03-21 04:13 | 8 | |
| ppx-deriving_4.2.1-1.patch.bz2 | 2018-03-21 04:13 | 19K | |
| ppx-deriving_4.2.1-2.patch-basis | 2018-07-10 04:12 | 8 | |
| ppx-deriving_4.2.1-2.patch.bz2 | 2018-07-10 04:12 | 19K | |
| ppx-deriving_4.2.1-3.patch-basis | 2019-01-07 21:48 | 8 | |
| ppx-deriving_4.2.1-3.patch.bz2 | 2019-01-07 21:48 | 889 | |
| ppx-deriving_4.4-2.patch-basis | 2019-09-18 11:39 | 6 | |
| ppx-deriving_4.4-2.patch.bz2 | 2019-09-18 11:39 | 758 | |