home
up
refresh
Back to basex.org
Location:
Name
Last modified
Size
Parent Directory
-
basex-parent-10.2.pom
2022-09-28 13:28
17K
basex-parent-10.2.pom.md5
2022-09-28 13:28
32
basex-parent-10.2.pom.sha1
2022-09-28 13:28
40