Hi all,

I've uploaded the current Debian/Ubuntu version of BaseX 7.1.1 to basex.org

You may update your /etc/apt/sources.list with:

deb http://files.basex.org/debian unstable/ deb-src http://files.basex.org/debian unstable/

Package upload to the official Debian repos is on its way as well.

Cheers, Alex