summary refs log tree commit diff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2018-09-30 10:49:00 +0200
committerRicardo Wurmus <rekado@elephly.net>2018-10-01 12:12:23 +0200
commit6306ce727186d2f8d2be5632a9b5d92982841e95 (patch)
tree613fa03f6d9e667dbee69837db252a8e3136aadf /gnu/packages/agda.scm
parent86eec9cf5c564f8782d78c0b992dbca07d5d5c8d (diff)
downloadguix-6306ce727186d2f8d2be5632a9b5d92982841e95.tar.gz
gnu: git-annex: Update to 6.20180926.
* gnu/packages/version-control.scm (git-annex): Update to 6.20180926.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions