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