sci-mathematics/agda: allow alex-3.2, bug #600034
authorSergei Trofimovich <slyfox@gentoo.org>
Fri, 18 Nov 2016 22:40:43 +0000 (22:40 +0000)
committerSergei Trofimovich <slyfox@gentoo.org>
Fri, 18 Nov 2016 22:41:10 +0000 (22:41 +0000)
commita84b472107985b2e36a2f1a80b9ca68dd24f3b89
treeaf8425ff7e8610fd096b454f1aa948b1d22e82b2
parent74a6e9cf1366fe6a725becc57747cc042f08df54
sci-mathematics/agda: allow alex-3.2, bug #600034

Reported-by: Anton Kochkov
Bug: https://bugs.gentoo.org/600034

Package-Manager: portage-2.3.2
sci-mathematics/agda/agda-2.4.2.5-r2.ebuild