sci-mathematics/agda: drop old
authorSergei Trofimovich <slyfox@gentoo.org>
Sun, 3 Apr 2016 14:37:25 +0000 (15:37 +0100)
committerSergei Trofimovich <slyfox@gentoo.org>
Sun, 3 Apr 2016 14:39:25 +0000 (15:39 +0100)
commit4e2efc914fdca78085ff8cd8af4283bcc2efcff3
tree0c4912248313252aef6200108a74d518ee75df16
parentb34ff9965dac1d8058194c7aea328d72d3e9463e
sci-mathematics/agda: drop old

Package-Manager: portage-2.2.28
sci-mathematics/agda/Manifest
sci-mathematics/agda/agda-2.4.0.1.ebuild [deleted file]
sci-mathematics/agda/agda-2.4.2.2-r1.ebuild [deleted file]
sci-mathematics/agda/agda-2.4.2.3-r1.ebuild [deleted file]
sci-mathematics/agda/agda-2.4.2.3-r2.ebuild [deleted file]
sci-mathematics/agda/agda-2.4.2.3-r3.ebuild [deleted file]