| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| metrics-jakarta-servlet-4.2.23.jar | Wed Dec 06 09:12:49 CET 2023 | 10177 | |
| metrics-jakarta-servlet-4.2.23.jar.md5 | Wed Dec 06 09:12:49 CET 2023 | 32 | |
| metrics-jakarta-servlet-4.2.23.jar.sha1 | Wed Dec 06 09:12:49 CET 2023 | 40 | |
| metrics-jakarta-servlet-4.2.23.pom | Wed Dec 06 09:12:49 CET 2023 | 2078 | |
| metrics-jakarta-servlet-4.2.23.pom.md5 | Wed Dec 06 09:12:49 CET 2023 | 32 | |
| metrics-jakarta-servlet-4.2.23.pom.sha1 | Wed Dec 06 09:12:49 CET 2023 | 40 |