aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorTimothy Sample <samplet@ngyro.com>2019-11-16 09:41:57 -0500
committerTimothy Sample <samplet@ngyro.com>2019-11-20 20:48:50 -0500
commit8e41d38afd6b181f4ed387667bf355ceb49f5da5 (patch)
treedaae6dd1babfa62dc1f92309a93d9bc5e1e1155a /gnu/packages/idris.scm
parent27109c7175656b8de3d0819e0acc0670863930c6 (diff)
downloadguix-8e41d38afd6b181f4ed387667bf355ceb49f5da5.tar
guix-8e41d38afd6b181f4ed387667bf355ceb49f5da5.tar.gz
gnu: cedille: Use most recent GHC.
* gnu/packages/cedille.scm (cedille)[inputs]: Replace 'ghc-8.4' with 'ghc'.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions