| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| plugins/ | - | 2022-Dec-10 15:59 |
| Jetty-Updates-Updates-10.0.13.zip | 7.2 MiB | 2022-Dec-10 15:59 |
| Jetty-Updates-Updates-10.0.13.zip.sha256 | 99 B | 2022-Dec-10 15:59 |
| Jetty-Updates-Updates-10.0.13.zip.sha512 | 163 B | 2022-Dec-10 15:59 |
| artifacts.jar | 77.5 KiB | 2022-Dec-10 15:59 |
| artifacts.xml.xz | 69.9 KiB | 2022-Dec-10 15:59 |
| content.jar | 20.1 KiB | 2022-Dec-10 15:59 |
| content.xml.xz | 13.6 KiB | 2022-Dec-10 15:59 |
| index.html | 365.6 KiB | 2024-May-16 23:00 |
| p2.index | 172 B | 2022-Dec-10 15:59 |