| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| jetty-ee10-websocket-jakarta-server-12.0.3.jar | Thu Oct 26 20:31:34 PDT 2023 | 41043 | |
| jetty-ee10-websocket-jakarta-server-12.0.3.jar.sha1 | Thu Oct 26 20:31:34 PDT 2023 | 40 | |
| jetty-ee10-websocket-jakarta-server-12.0.3.pom | Thu Oct 26 20:31:34 PDT 2023 | 3205 | |
| jetty-ee10-websocket-jakarta-server-12.0.3.pom.sha1 | Thu Oct 26 20:31:34 PDT 2023 | 40 |