Merge github#785: net-libs/nodejs: removal
[gentoo.git] / dev-ml / ppx_deriving /
drwxr-xr-x   ..
-rw-r--r-- 1540 Manifest
-rw-r--r-- 243 metadata.xml
-rw-r--r-- 1306 ppx_deriving-3.0-r1.ebuild
-rw-r--r-- 1306 ppx_deriving-3.1.ebuild
-rw-r--r-- 1461 ppx_deriving-3.2.ebuild