| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| jetty12_12.0.17-3.debian.tar.xz | 01/05/25 18:0401/05/25 | 27.7 KiB | [Save][Download] |
| jetty12_12.0.17-3.dsc | 01/05/25 18:0401/05/25 | 3.1 KiB | [Save][Download] |
| jetty12_12.0.17.orig.tar.xz | 01/05/25 18:0401/05/25 | 15.6 MiB | [Save][Download] |