summary refs log tree commit diff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-03-18 21:27:20 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-03-18 21:35:57 +0100
commit43ec3b68e544aeea70af22ad5bfe8c766431740c (patch)
tree445805437e313df37a34b8058132aa9679702e61 /gnu/packages/idris.scm
parent1540d80d9f40da9114753b0823c85d2dff7af470 (diff)
downloadguix-43ec3b68e544aeea70af22ad5bfe8c766431740c.tar.gz
gnu: padthv1: Update to 0.9.6.
* gnu/packages/music.scm (padthv1): Update to 0.9.6.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions