gentoo-haskell/gentoo-haskell — pull request #298 by Twey (2014-01-11 06:42:32+00:00)
Title: Idris had trifecta loosened upstream

We don't need to loosen it any more, and there's a clause in cabal_chdeps that breaks if a substitution fails, breaking the ebuild.