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

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