diff options
| author | Timothy Sample <samplet@ngyro.com> | 2019-11-16 09:42:03 -0500 |
|---|---|---|
| committer | Timothy Sample <samplet@ngyro.com> | 2019-11-20 20:48:50 -0500 |
| commit | 3594b6699d3043029f85fda2ccd82da1ae17e61b (patch) | |
| tree | 564dbe2050259930c2d8431ee4aeb303ecfbc728 /gnu/bootloader | |
| parent | 8e41d38afd6b181f4ed387667bf355ceb49f5da5 (diff) | |
| download | patches-3594b6699d3043029f85fda2ccd82da1ae17e61b.tar patches-3594b6699d3043029f85fda2ccd82da1ae17e61b.tar.gz | |
gnu: idris: Fix Cabal dependency constraints.
* gnu/packages/idris.scm (idris): Add a phase that updates the Cabal
file to allow for newer versions of 'ansi-terminal'.
Diffstat (limited to 'gnu/bootloader')
0 files changed, 0 insertions, 0 deletions