| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| metrics-jakarta-servlet-4.2.19.jar | Thu Jun 01 21:16:21 UTC 2023 | 10113 | |
| metrics-jakarta-servlet-4.2.19.jar.sha1 | Thu Jun 01 21:16:21 UTC 2023 | 40 | |
| metrics-jakarta-servlet-4.2.19.pom | Thu Jun 01 21:16:21 UTC 2023 | 2078 | |
| metrics-jakarta-servlet-4.2.19.pom.sha1 | Thu Jun 01 21:16:21 UTC 2023 | 40 |