summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2021-01-03 00:20:39 -0500
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2021-01-14 09:24:50 -0500
commit18d4d15d4a86fb948181b4eacd472a10f52242ea (patch)
treee90ee4c9138a1c8a4ef054af9d5c8e09548d4b11 /gnu/packages/agda.scm
parent2c12d73a6236c56ae48c8b9df49ba36a49f76396 (diff)
gnu: Add config.
* gnu/packages/autotools.scm (config): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions