Subject: solved

From: KatolaZ <[email-masked]>
Date: Thu, 14 Dec 2017 13:44:28 +0000

it looks like this was solved several weeks ago. Moreover, it is
solved by using pkgmaster.devuan.org instead of auto.mirror.devuan.org.

Closing it now.