On Tuesday, den 01-08-2017 um 17:14 Jaromil wrote:
> but creating the debian_version file ourselves containing the
> codename of the debian distro that can be matched to the devuan one.

Thank for your replay and yes, creating the file "debian_version" is the
better way. Without it I also had problems with installiing deb packages
from "nomachine.com" or "webmin.com".

Greetings,
Juergen