dev-java/glassfish-interceptor-api: marked ~amd64-linux
[gentoo.git] / dev-haskell / minisat /
drwxr-xr-x   ..
-rw-r--r-- 305 Manifest
-rw-r--r-- 333 metadata.xml
-rw-r--r-- 607 minisat-0.1.2.ebuild