Index of /groups/public/org/basex
Name
Last Modified
Size
Description
Parent Directory
basex-api/
Thu Jul 24 10:19:51 UTC 2025
basex-parent/
Tue Jul 16 12:18:42 UTC 2024
basex/
Wed Sep 17 18:10:12 UTC 2025