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