Index of /gentoo/dev-ml/ppx_deriving

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 metadata.xml            20-Mar-2025 13:38  320   
 ppx_deriving-5.2.1-r..> 20-Mar-2025 13:38  760   
 ppx_deriving-6.0.3-r..> 10-Jul-2025 22:41  640   
 ppx_deriving-6.1.0.e..> 10-Jul-2025 22:41  619   
 Manifest                25-Aug-2025 20:43  2.7K  
 ppx_deriving-6.1.1.e..> 25-Aug-2025 20:43  629