| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| vaadin-dev-server-9.0.13.jar | Thu May 05 14:32:57 UTC 2022 | 80754 | |
| vaadin-dev-server-9.0.13.jar.sha1 | Thu May 05 14:32:57 UTC 2022 | 40 | |
| vaadin-dev-server-9.0.13.pom | Thu May 05 14:32:57 UTC 2022 | 1172 | |
| vaadin-dev-server-9.0.13.pom.sha1 | Thu May 05 14:32:57 UTC 2022 | 40 |