| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| metrics-jakarta-servlet-4.2.15.jar | Wed Dec 21 21:16:00 UTC 2022 | 9979 | |
| metrics-jakarta-servlet-4.2.15.jar.sha1 | Wed Dec 21 21:16:00 UTC 2022 | 40 | |
| metrics-jakarta-servlet-4.2.15.pom | Wed Dec 21 21:16:00 UTC 2022 | 2078 | |
| metrics-jakarta-servlet-4.2.15.pom.sha1 | Wed Dec 21 21:16:00 UTC 2022 | 40 |