summaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2017-04-27 08:52:04 +0200
committerRicardo Wurmus <rekado@elephly.net>2017-04-28 17:46:39 +0200
commitd00d6cea6667f70ef468f3ed011c4f280cfa3be7 (patch)
treea3b6a2c8d65d7d47ca53f829de5482e91e40960f /gnu/packages/idris.scm
parent8832c9634075242ad4f0b247ceb9de297a44659c (diff)
gnu: Add xerces-c.
* gnu/packages/xml.scm (xerces-c): New variable.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions