Dr. Nikolaus Klepp wrote:

> Yes, but it used to be in the devuan/debian repositories. If I recall
> correctly, there has been a problem with upstream, but I do not wemember
> what it was and if it's solved now.

I usually download and install the debian package from there - it works like
a charm! No need to wait for including it in the debian/devuan repo