aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2017-06-16 18:25:58 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2017-06-16 18:27:15 +0200
commitd68ec019eb714b624a66d48940751c9c5982f248 (patch)
tree33cd4e6552f02888db7e8bf9a615479de108acd3 /gnu/packages/idris.scm
parent2f0c4b82843ab41793b675267ede13c169399f86 (diff)
downloadpatches-d68ec019eb714b624a66d48940751c9c5982f248.tar
patches-d68ec019eb714b624a66d48940751c9c5982f248.tar.gz
Revert "gnu: borg: Update to 1.1.0b5."
This reverts commit 0b2ff24f9c3e3f689095753a21047c723dd6ca40, which leaked my local testing version.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions