media-libs/leptonica: remove local webp use flag
[gentoo.git] / dev-ml / ppx_derivers /
drwxr-xr-x   ..
-rw-r--r-- 307 Manifest
-rw-r--r-- 329 metadata.xml
-rw-r--r-- 426 ppx_derivers-1.0.ebuild