Index of /gentoo-portage/dev-ml/ppx_diff/

../
Manifest                                           14-Jul-2025 03:41    1526
metadata.xml                                       20-Mar-2025 15:38     317
ppx_diff-0.17.0-r2.ebuild                          14-Jul-2025 03:41     854
ppx_diff-0.17.1.ebuild                             12-Jul-2025 23:41     824