On Sat, Jun 10, 2017 at 08:46:28PM +0200, Joerg Sonnenberger wrote: > The old conversions will be provided for the near future, but likely > stop toward the end of the month. I'm now retiring the old conversion setup. The repos will be around for a while further. Joerg