Ian Wienand
3eabc630c4
Fix debian-docker mirroring
...
Unfortunately we can't mix the distributions here, because upstream
keeps the same filename, built differently, in each distributions
separate pool. So we can't combine it back into one pool.
Mirror each into a separate subdirectory.
Change-Id: I728d38daf9a953a64364689da0648c9339a27693
2020-08-14 13:20:43 +10:00
..
2018-08-16 17:25:10 -05:00
2015-04-17 09:33:10 -07:00
2017-05-01 22:06:17 +02:00
2019-04-20 18:26:07 +00:00
2019-11-13 15:54:50 +00:00
2017-04-07 21:56:17 +02:00
2018-08-27 14:33:32 +00:00
2020-04-21 13:18:28 -05:00
2020-04-23 14:34:28 -05:00
2020-02-06 13:50:56 -08:00
2018-08-14 14:13:03 -07:00
2018-08-16 17:25:10 -05:00
2016-12-13 20:16:19 -05:00
2019-03-21 13:43:02 -07:00
2014-04-25 12:35:25 -07:00
2018-09-27 21:54:01 +00:00
2019-02-22 15:47:49 -08:00
2020-04-29 17:48:13 +00:00
2020-06-17 14:51:58 -07:00
2020-06-17 14:51:58 -07:00
2020-08-14 13:20:43 +10:00
2016-05-31 15:29:00 -04:00
2020-03-25 11:32:17 -03:00
2020-06-11 11:54:42 -03:00
2020-03-04 23:54:41 +00:00
2018-08-16 17:25:10 -05:00
2019-04-20 18:26:07 +00:00
2018-09-04 08:49:00 -07:00
2016-07-04 11:54:31 -04:00
2019-03-28 10:52:58 +11:00
2020-06-05 12:09:30 -05:00
2013-05-26 02:57:11 +00:00
2020-01-28 16:41:07 -08:00
2018-12-06 20:30:59 +00:00
2017-04-25 17:41:39 -04:00
2019-01-16 18:47:57 +00:00
2018-08-27 14:33:32 +00:00
2018-02-27 12:43:40 +01:00
2020-01-07 15:25:32 -08:00
2018-12-17 16:36:32 +00:00