diff options
| author | Pierre Langlois <pierre.langlois@gmx.com> | 2019-09-27 09:43:43 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-28 22:56:40 +0200 |
| commit | 569832dfafbf3f31bcc2ed4545d88a0634205df1 (patch) | |
| tree | 4d2303c4af9c230ff11b50187545f79995427a0d /gnu/packages/coq.scm | |
| parent | ada9a19a2dca74feafcf24df1152abd685d4142f (diff) | |
| download | guix-569832dfafbf3f31bcc2ed4545d88a0634205df1.tar guix-569832dfafbf3f31bcc2ed4545d88a0634205df1.tar.gz | |
gnu: gpodder: Update to 3.10.10.
* gnu/packages/gpodder.scm (gpodder): Update to 3.10.10.
[inputs]: Add youtube-dl.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions