dev-ml/lablgtk: remove old 2.18.8-r0
[gentoo.git] / dev-ml / ppx_compare /
drwxr-xr-x   ..
-rw-r--r-- 309 Manifest
-rw-r--r-- 254 metadata.xml
-rw-r--r-- 603 ppx_compare-0.9.0-r1.ebuild