| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| plugins/ | - | 2023-Oct-10 17:11 |
| p2.index | 172 B | 2023-Oct-10 17:11 |
| index.html | 367.0 KiB | 2024-May-16 23:00 |
| content.xml.xz | 13.7 KiB | 2023-Oct-10 17:11 |
| content.jar | 20.1 KiB | 2023-Oct-10 17:11 |
| artifacts.xml.xz | 70.0 KiB | 2023-Oct-10 17:11 |
| artifacts.jar | 77.3 KiB | 2023-Oct-10 17:11 |
| Jetty-Updates-Updates-10.0.17.zip.sha512 | 163 B | 2023-Oct-10 17:11 |
| Jetty-Updates-Updates-10.0.17.zip.sha256 | 99 B | 2023-Oct-10 17:11 |
| Jetty-Updates-Updates-10.0.17.zip | 7.3 MiB | 2023-Oct-10 17:11 |