Merge remote-tracking branch 'github/pr/351'.
[gentoo.git] / dev-ml / camlp5 /
drwxr-xr-x   ..
-rw-r--r-- 375 Manifest
-rw-r--r-- 1364 camlp5-6.14.ebuild
-rw-r--r-- 155 metadata.xml