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

../
Manifest                                           14-Jul-2025 08:41    1526
metadata.xml                                       20-Mar-2025 20:38     317
ppx_diff-0.17.0-r2.ebuild                          14-Jul-2025 08:41     854
ppx_diff-0.17.1.ebuild                             13-Jul-2025 04:41     824