aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2017-02-04 17:08:01 +0100
committerLeo Famulari <leo@famulari.name>2017-02-06 02:33:31 +0100
commit0418ff7a37c02b314eda67db177565db24ca34f4 (patch)
tree12f2af4ca1c8072eddda3cc95352c85d9ec3d561 /gnu/packages/idris.scm
parent2b742c2bb0651c46853dda0272d909e849e8632b (diff)
downloadpatches-0418ff7a37c02b314eda67db177565db24ca34f4.tar
patches-0418ff7a37c02b314eda67db177565db24ca34f4.tar.gz
gnu: libidn2: Update to 0.16.
* gnu/packages/libidn.scm (libidn2): Update to 0.16. [inputs]: Add libunistring.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions