sci-mathematics/agda-executable: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Mon, 31 Oct 2016 16:05:22 +0000 (17:05 +0100)
committerMichał Górny <mgorny@gentoo.org>
Mon, 31 Oct 2016 16:10:09 +0000 (17:10 +0100)
commit6e639e368bc6440190dd6002aaa9c8daa1c8f025
treec9c49b9975edc9cfa3bc357e8bc0f7d7020d9b21
parent2e5da7f10f5a70b626b07499c6b2b200c01eeb8f
sci-mathematics/agda-executable: Remove last-rited pkg
profiles/package.mask
sci-mathematics/agda-executable/Manifest [deleted file]
sci-mathematics/agda-executable/agda-executable-2.3.0.1-r1.ebuild [deleted file]
sci-mathematics/agda-executable/agda-executable-2.3.0.1-r2.ebuild [deleted file]
sci-mathematics/agda-executable/metadata.xml [deleted file]