[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#28925] [PATCH] gnu: youtube-dl: Update to 2017.10.20.
|
From: |
Julien Lepiller |
|
Subject: |
[bug#28925] [PATCH] gnu: youtube-dl: Update to 2017.10.20. |
|
Date: |
Sat, 21 Oct 2017 19:07:55 +0200 |
Le Sat, 21 Oct 2017 18:20:52 +0200,
address@hidden a écrit :
> From: Tobias Geerinckx-Rice <address@hidden>
>
> [...]
Whoops, this is not in the patch series, it's a mistake. The rest is
correct.
- [bug#28925] [PATCH] Update coq and coq libraries., Julien Lepiller, 2017/10/21
- [bug#28925] [PATCH 1/7] gnu: camlp5: install META file., julien, 2017/10/21
- [bug#28925] [PATCH 5/7] gnu: Update coq-coquelicot to 3.0.1., julien, 2017/10/21
- [bug#28925] [PATCH 3/7] gnu: Update coq-flocq to 2.6.0., julien, 2017/10/21
- [bug#28925] [PATCH 7/7] gnu: Update coq-interval to 3.3.0., julien, 2017/10/21
- [bug#28925] [PATCH 4/7] gnu: Update coq-mathcomp to 1.6.2., julien, 2017/10/21
- [bug#28925] [PATCH 2/7] gnu: Update coq to 8.7.0., julien, 2017/10/21
- [bug#28925] [PATCH] gnu: youtube-dl: Update to 2017.10.20., julien, 2017/10/21
- [bug#28925] [PATCH] gnu: youtube-dl: Update to 2017.10.20.,
Julien Lepiller <=
- [bug#28925] [PATCH 6/7] gnu: Add coq-bignums., julien, 2017/10/21
- [bug#28925] [PATCH 1/7] gnu: camlp5: install META file., Ludovic Courtès, 2017/10/24