Hi Alex, > My mistake, here's the patch. Let me know if this should be broken up > further. > > From f31cd301804b6fc3dbf345a9e37d20814cd407ae Mon Sep 17 00:00:00 2001 > From: Alex ter Weele <alex.ter.we...@gmail.com> > Date: Tue, 6 Mar 2018 19:32:05 -0600 > Subject: [PATCH] gnu: idris: fix package. > > * gnu/packages/idris.scm (ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, > ghc-trifecta-1.6.2.1) new variables. (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.
Thanks. Please create separate patches for adding ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, and ghc-trifecta-1.6.2.1. -- Ricardo
