| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| jetty-servlet-9.4.12.v20180830-sources.jar | Tue Jul 29 02:04:26 Z 2025 | 65761 | |
| jetty-servlet-9.4.12.v20180830-sources.jar.sha1 | Fri Jul 25 23:23:13 Z 2025 | 40 | |
| jetty-servlet-9.4.12.v20180830.jar | Tue Jul 29 05:19:22 Z 2025 | 110983 | |
| jetty-servlet-9.4.12.v20180830.jar.sha1 | Fri Jul 25 21:59:40 Z 2025 | 40 |