../ basex-8.3-14.23.noarch.rpm 12-Jul-2017 17:11 2739743 basex-javadoc-8.3-14.23.noarch.rpm 12-Jul-2017 17:11 1875827