summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorAlex Vong <alexvong1995@gmail.com>2019-05-27 01:30:26 +0800
committerAlex Vong <alexvong1995@gmail.com>2019-05-27 01:34:09 +0800
commit304fb7000ab2ccafa5861f8be15212dc1ef850ef (patch)
tree6904832f9841ca49f44eb85e883dd18828cd51b4 /gnu/packages/coq.scm
parent51daf2f553ef587ac300f2d2768868b75dcddae7 (diff)
gnu: youtube-dl: Update to 2019.05.20.
* gnu/packages/video.scm (youtube-dl): Update to 2019.05.20. Signed-off-by: Alex Vong <alexvong1995@gmail.com>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions