gentoo-haskell/gentoo-haskell — pull request #317 by spacekitteh (2014-04-19 11:15:57+00:00)
Title: Update agda-9999.ebuild

So it doesn't conflict