home
up
refresh
Back to basex.org
Location:
Name
Last modified
Size
Parent Directory
-
basex-parent-10.5.pom
2023-03-23 13:19
17K
basex-parent-10.5.pom.md5
2023-03-23 13:20
32
basex-parent-10.5.pom.sha1
2023-03-23 13:20
40