sci-mathematics/agda: allow transformers-compat-0.4
authorSergei Trofimovich <slyfox@gentoo.org>
Sun, 3 Apr 2016 21:07:28 +0000 (22:07 +0100)
committerSergei Trofimovich <slyfox@gentoo.org>
Sun, 3 Apr 2016 21:24:36 +0000 (22:24 +0100)
commitbdf8483c7e14f6ebe1fb5cf8c79ce290688f3278
tree700c4a8282bfbcdde82311803c34cd7f283d4d93
parent963885db33cd5c7cbf3a4d096c7cb381bf6f745f
sci-mathematics/agda: allow transformers-compat-0.4

Package-Manager: portage-2.2.28
sci-mathematics/agda/agda-2.4.2.5-r2.ebuild [new file with mode: 0644]
sci-mathematics/agda/files/agda-make_install.patch [deleted file]