| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| jetty-servlet-9.4.12.v20180830-sources.jar | Mon Apr 08 18:23:24 GMT 2019 | 65761 | |
| jetty-servlet-9.4.12.v20180830-sources.jar.sha1 | Mon Apr 08 18:23:25 GMT 2019 | 40 | |
| jetty-servlet-9.4.12.v20180830.jar | Fri Mar 29 08:53:10 GMT 2019 | 110983 | |
| jetty-servlet-9.4.12.v20180830.jar.sha1 | Fri Mar 29 08:53:10 GMT 2019 | 40 | |
| jetty-servlet-9.4.12.v20180830.pom | Fri Mar 29 08:53:09 GMT 2019 | 2128 | |
| jetty-servlet-9.4.12.v20180830.pom.sha1 | Fri Mar 29 08:53:09 GMT 2019 | 40 |