sci-mathematics/agda-stdlib: drop old
authorSergei Trofimovich <slyfox@gentoo.org>
Sun, 3 Apr 2016 14:38:23 +0000 (15:38 +0100)
committerSergei Trofimovich <slyfox@gentoo.org>
Sun, 3 Apr 2016 14:39:25 +0000 (15:39 +0100)
commit669e602164fff463c1e6f6119f4b2a1b1481160c
tree8d6b1959b0c6b645fc84f6329e76404515ceac3d
parent8f91cf2917b73d6ab65d76be77a80ea5d97a9b81
sci-mathematics/agda-stdlib: drop old

Package-Manager: portage-2.2.28
sci-mathematics/agda-stdlib/Manifest
sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild [deleted file]
sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild [deleted file]
sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild [deleted file]