summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRutger Helling <rhelling@mykolab.com>2018-10-04 08:12:39 +0200
committerRutger Helling <rhelling@mykolab.com>2018-10-04 08:13:57 +0200
commitcd81c9e2a76f825534b1c48e722926d5c70fca8f (patch)
tree3ee67a35e2b782230ae5147dc5dbdd3d71e7795f /gnu/packages/agda.scm
parent689ca9ba23e8c5003cba5163235e9c5fb1206f16 (diff)
gnu: mpv: Update to 0.29.1.
* gnu/packages/video.scm (mpv): Update to 0.29.1.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions