| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| metrics-jakarta-servlet-4.2.13.jar | Fri Nov 18 22:16:50 UTC 2022 | 9979 | |
| metrics-jakarta-servlet-4.2.13.jar.sha1 | Fri Nov 18 22:16:50 UTC 2022 | 40 | |
| metrics-jakarta-servlet-4.2.13.pom | Fri Nov 18 22:16:50 UTC 2022 | 2078 | |
| metrics-jakarta-servlet-4.2.13.pom.sha1 | Fri Nov 18 22:16:50 UTC 2022 | 40 |