aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorOleg Pykhalov <go.wigust@gmail.com>2020-05-02 21:28:28 +0300
committerOleg Pykhalov <go.wigust@gmail.com>2020-05-02 21:28:48 +0300
commit5bcb149c45378baac767bd18d3b83f503bf2a2ff (patch)
treea0848b468143745f72b60d961471541ad4287562 /gnu/packages/lean.scm
parent1d7f3c00b0b57fcafb3c00fa016e55278a633a36 (diff)
downloadpatches-5bcb149c45378baac767bd18d3b83f503bf2a2ff.tar
patches-5bcb149c45378baac767bd18d3b83f503bf2a2ff.tar.gz
gnu: youtube-dl: Update to 2020.05.03.
* gnu/packages/video.scm (youtube-dl): Update to 2020.05.03.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions