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