Merge media-sound/spotify: Fix homepage URL
[gentoo.git] / dev-haskell / criterion /
drwxr-xr-x   ..
-rw-r--r-- 1154 Manifest
-rw-r--r-- 1052 criterion-0.8.1.0.ebuild
-rw-r--r-- 1416 criterion-1.0.2.0.ebuild
-rw-r--r-- 1445 criterion-1.1.0.0.ebuild
-rw-r--r-- 589 metadata.xml