summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorAlex ter Weele <alex.ter.weele@gmail.com>2018-02-20 18:53:26 -0600
committerMarius Bakke <mbakke@fastmail.com>2018-02-26 01:36:16 +0100
commit7df5669f3903b58cd5587ee8660dd12a18756bd0 (patch)
tree67ff5978270ce744bb1604c89b2460a89d85e05a /gnu/packages/agda.scm
parentabfec9b375a78144ece06b36a033412a105dccaf (diff)
downloadpatches-7df5669f3903b58cd5587ee8660dd12a18756bd0.tar
patches-7df5669f3903b58cd5587ee8660dd12a18756bd0.tar.gz
gnu: Add ghc-uri-encode.
* gnu/packages/haskell-web.scm (ghc-uri-encode): New variable. Signed-off-by: Marius Bakke <mbakke@fastmail.com>
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions