projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c99f5cf) | patch
sci-mathematics/agda: fix hastables build failure, bu #574204
authorSergei Trofimovich <slyfox@gentoo.org>
Mon, 8 Feb 2016 22:15:41 +0000 (22:15 +0000)
committerSergei Trofimovich <slyfox@gentoo.org>
Mon, 8 Feb 2016 22:15:49 +0000 (22:15 +0000)
commit3ea9ef2b91417f18c3aa2faec4861348298f6671
tree14030f0fb9059c2dab22366725411756be010711tree | snapshot
parentc99f5cf50b84b14bd6f0f47e45321dd31a7fe017commit | diff
sci-mathematics/agda: fix hastables build failure, bu #574204

While at it made USE=emacs depend and files optional,
fixed agda library reregistration.

Reported-by: Toralf Förster
Bug: https://bugs.gentoo.org/show_bug.cgi?id=574204

Package-Manager: portage-2.2.27
sci-mathematics/agda/agda-2.4.2.5-r1.ebuild [new file with mode: 0644] blob
sci-mathematics/agda/files/agda-2.4.2.5-hashtables.patch [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.