dev-python/zc-lockfile: keyworded 2.0 for ia64, bug #717946
[gentoo.git] / sci-mathematics / agda-stdlib /
drwxr-xr-x   ..
-rw-r--r-- 627 Manifest
-rw-r--r-- 1914 agda-stdlib-2.4.2.5.ebuild
-rw-r--r-- 2175 agda-stdlib-2.5.2.0.13.ebuild
drwxr-xr-x - files
-rw-r--r-- 658 metadata.xml