I have those in AUR right now (generated w/ cabal2arch), as deps for trifecta (which in turn is a dep for idris). However, recently parsers and charset were added to [community], and yaourt prioritizes those binary packages over over the ones on AUR, but they don't work when the rest of my stuff is from [haskell-core].
Also, I was thinking it would be nice to offer idris as a package in [haskell-core] someday or in a repo built on top of that - the only deps currently missing are trifecta and cheapskate I believe. I've been offering pre-built binary packages for download that apparently people have been using.
I have those in AUR right now (generated w/ cabal2arch), as deps for trifecta (which in turn is a dep for idris). However, recently parsers and charset were added to [community], and yaourt prioritizes those binary packages over over the ones on AUR, but they don't work when the rest of my stuff is from [haskell-core].
Also, I was thinking it would be nice to offer idris as a package in [haskell-core] someday or in a repo built on top of that - the only deps currently missing are trifecta and cheapskate I believe. I've been offering pre-built binary packages for download that apparently people have been using.