dev-ml/llvm-ocaml: Remove unused WITH_POLLY
[gentoo.git] / dev-ml / octavius /
drwxr-xr-x   ..
-rw-r--r-- 306 Manifest
-rw-r--r-- 250 metadata.xml
-rw-r--r-- 450 octavius-1.1.0.ebuild