| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| metrics-servlets-4.2.17.jar | Thu Feb 23 15:48:35 CET 2023 | 20117 | |
| metrics-servlets-4.2.17.jar.sha1 | Thu Feb 23 15:48:35 CET 2023 | 40 | |
| metrics-servlets-4.2.17.pom | Thu Feb 23 15:48:36 CET 2023 | 5420 | |
| metrics-servlets-4.2.17.pom.sha1 | Thu Feb 23 15:48:36 CET 2023 | 40 |