| Name | Last modified | Size | |
|---|---|---|---|
| Parent Directory | - | ||
| basex_9.0.1+ds-1.1_all.deb | 2021-01-03 23:23 | 3.5M | |
| basex_9.7.2-1_all.deb | 2022-05-30 23:07 | 3.8M |
| Name | Last modified | Size | |
|---|---|---|---|
| Parent Directory | - | ||
| basex_9.0.1+ds-1.1_all.deb | 2021-01-03 23:23 | 3.5M | |
| basex_9.7.2-1_all.deb | 2022-05-30 23:07 | 3.8M |