diff options
| author | Alex ter Weele <alex.ter.weele@gmail.com> | 2018-03-07 18:32:19 -0600 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-03-15 23:46:16 +0100 |
| commit | d661ed521eedf4663c57e5d96e409a32a52113e0 (patch) | |
| tree | 5e2d96bdce402b6303785becdcdcecbcf36c6b16 /gnu/services | |
| parent | 866b19086e7f294261e694b228ff05ffb129296c (diff) | |
| download | patches-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 'gnu/services')
0 files changed, 0 insertions, 0 deletions