Merge media-sound/spotify: Fix homepage URL
[gentoo.git] / dev-tex / tipa /
drwxr-xr-x   ..
-rw-r--r-- 376 Manifest
-rw-r--r-- 156 metadata.xml
-rw-r--r-- 1319 tipa-1.3.ebuild