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 _______________________________________________ BaseX-Talk mailing list [email protected] https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk
