aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2019-02-12 15:03:05 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2019-02-13 05:42:55 +0100
commit3d2386563dea801a8e7ead37d0f60fc38bd5b7a7 (patch)
treec8c385a6063995d4cf2d12ba64aa50b461bcfd31 /gnu/packages/agda.scm
parent344e0f56218f6b2680e0ab00446eed372216d420 (diff)
downloadguix-3d2386563dea801a8e7ead37d0f60fc38bd5b7a7.tar
guix-3d2386563dea801a8e7ead37d0f60fc38bd5b7a7.tar.gz
gnu: duperemove: Update to 0.11.1.
* gnu/packages/disk.scm (duperemove): Update to 0.11.1.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions