diff options
| author | Timothy Sample <samplet@ngyro.com> | 2018-08-29 00:36:30 -0400 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-10-01 12:12:20 +0200 |
| commit | 53812aa77f5c8a490191c069a13a927d365618c7 (patch) | |
| tree | 9772833a90972697226b24e697e13a714b748985 /gnu/build | |
| parent | 7b19f0a8030b9f7d9606a9908bb59284aabeca3b (diff) | |
| download | patches-53812aa77f5c8a490191c069a13a927d365618c7.tar patches-53812aa77f5c8a490191c069a13a927d365618c7.tar.gz | |
gnu: idris: Update to 1.3.0.
* gnu/packages/idris.scm (idris): Update to 1.3.0.
[inputs]: Remove ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, and
ghc-trifecta-1.6.2.1; add ghc-aeson, ghc-cheapskate, and ghc-megaparsec.
[arguments]: Add a phase that patches the Cabal file to allow newer
versions of aeson.
(ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, ghc-trifecta-1.6.2.1): Remove.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions