home
up
refresh
Back to basex.org
Location:
Name
Last modified
Size
Parent Directory
-
basex-parent-10.7.pom
2023-08-04 11:47
18K
basex-parent-10.7.pom.md5
2023-08-04 11:47
32
basex-parent-10.7.pom.sha1
2023-08-04 11:47
40