aboutsummaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAlex ter Weele <alex.ter.weele@gmail.com>2018-03-07 18:32:19 -0600
committerLudovic Courtès <ludo@gnu.org>2018-03-15 23:46:16 +0100
commitd661ed521eedf4663c57e5d96e409a32a52113e0 (patch)
tree5e2d96bdce402b6303785becdcdcecbcf36c6b16 /THANKS
parent866b19086e7f294261e694b228ff05ffb129296c (diff)
downloadpatches-d661ed521eedf4663c57e5d96e409a32a52113e0.tar
patches-d661ed521eedf4663c57e5d96e409a32a52113e0.tar.gz
gnu: idris: Provide the right versions of dependencies.
Previously it would fail to build. See <https://bugs.gnu.org/30741>. * gnu/packages/idris.scm (idris)[inputs]: alphebetize ghc-vector-binary-instances and ghc-async. Use ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, and ghc-trifecta-1.6.2.1. Remove ghc-aeson, ghc-cheapskate, ghc-parsers, ghc-tasty, ghc-tasty-golden, ghc-tasty-rerun, ghc-trifecta, and ghc-zlib. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions