Remove old version with unsatisfied dependencies
authorPatrick Lauer <patrick@gentoo.org>
Fri, 30 Jan 2015 03:05:10 +0000 (03:05 +0000)
committerPatrick Lauer <patrick@gentoo.org>
Fri, 30 Jan 2015 03:05:10 +0000 (03:05 +0000)
commit7f4641a5788e60c57156ce8e32fa272cf2d53d9d
treee1d32362b5cf97b3daba968c8bc46d1cef2820bc
parent394accd1032d01cde3088a7cfcc7ac66eeba5481
Remove old version with unsatisfied dependencies

Package-Manager: portage-2.2.15/cvs/Linux x86_64
sci-mathematics/agda-executable/ChangeLog
sci-mathematics/agda-executable/Manifest
sci-mathematics/agda-executable/agda-executable-2.3.0.1.ebuild [deleted file]
sci-mathematics/agda-stdlib/ChangeLog
sci-mathematics/agda-stdlib/Manifest
sci-mathematics/agda-stdlib/agda-stdlib-0.6.ebuild [deleted file]