| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| jetty-servlet-9.3.19.v20170502-sources.jar | Tue Mar 13 04:29:27 GMT 2018 | 67607 | |
| jetty-servlet-9.3.19.v20170502-sources.jar.md5 | Tue Mar 13 04:29:27 GMT 2018 | 32 | |
| jetty-servlet-9.3.19.v20170502-sources.jar.sha1 | Tue Mar 13 04:29:27 GMT 2018 | 40 | |
| jetty-servlet-9.3.19.v20170502.jar | Tue Dec 13 13:26:54 GMT 2022 | 119119 |