dev-lang/php: remove php-7.0.0; use php-7.0.1 instead.
[gentoo.git] / dev-lang / logtalk /
drwxr-xr-x   ..
-rw-r--r-- 1133 Manifest
drwxr-xr-x - files
-rw-r--r-- 3257 logtalk-2.41.0.ebuild
-rw-r--r-- 3257 logtalk-2.42.2.ebuild
-rw-r--r-- 4022 logtalk-3.00.0.ebuild
-rw-r--r-- 631 metadata.xml