| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| metrics-jakarta-servlets-4.2.37.jar | Mon Sep 15 23:36:07 CEST 2025 | 20797 | |
| metrics-jakarta-servlets-4.2.37.jar.sha1 | Mon Sep 15 23:36:07 CEST 2025 | 40 | |
| metrics-jakarta-servlets-4.2.37.pom | Mon Sep 15 23:36:06 CEST 2025 | 6216 | |
| metrics-jakarta-servlets-4.2.37.pom.sha1 | Mon Sep 15 23:36:06 CEST 2025 | 40 |