sci-mathematics/agda: drop old
authorSergei Trofimovich <slyfox@gentoo.org>
Fri, 22 Apr 2016 08:08:19 +0000 (09:08 +0100)
committerSergei Trofimovich <slyfox@gentoo.org>
Fri, 22 Apr 2016 08:08:56 +0000 (09:08 +0100)
commit10b7c1d38595a6b70f2eef15d89937d479993f48
tree2e9303378684dd9f3d0d4dcd98ac07f5b4889d7e
parent9274cd732879090260f68cad963f16b22dfb6c0d
sci-mathematics/agda: drop old

Package-Manager: portage-2.2.28
sci-mathematics/agda/agda-2.4.2.5-r1.ebuild [deleted file]
sci-mathematics/agda/agda-2.4.2.5.ebuild [deleted file]