On Mon, 17 Apr 2017, Emiliano Marini wrote:

>    Oops, I didn't know that missing /etc/debian_version was a bug
>    and sent a PR to certbot on GitHub to support Devuan:
>    [1]https://github.com/certbot/certbot/pull/4515

thanks Emiliano! ideally we'd want all sorts of services reading that
file to acknowledge Devuan, since our distro may diverge from Debian
in a somehow far future, so I guess it should be a slow collective
effort to let more projects know the existance of /etc/devuan_version,
which we can anyway symlink as long as there aren't huge differences
with Debian (and who knows... at this pace they may rly go bonkers...)

ciao