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