dev-lang/php: Drop 7.1 slot
[gentoo.git] / gnome-extra / gnome-integration-spotify /
drwxr-xr-x   ..
-rw-r--r-- 325 Manifest
-rw-r--r-- 1077 gnome-integration-spotify-20140907-r1.ebuild
-rw-r--r-- 354 metadata.xml