| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| metrics-jakarta-servlets-4.2.13-javadoc.jar | Fri Nov 18 23:17:12 CET 2022 | 330141 | |
| metrics-jakarta-servlets-4.2.13-javadoc.jar.sha1 | Fri Nov 18 23:17:12 CET 2022 | 40 | |
| metrics-jakarta-servlets-4.2.13-sources.jar | Fri Nov 18 23:17:29 CET 2022 | 11481 | |
| metrics-jakarta-servlets-4.2.13-sources.jar.sha1 | Fri Nov 18 23:17:29 CET 2022 | 40 | |
| metrics-jakarta-servlets-4.2.13.jar | Fri Nov 18 23:16:51 CET 2022 | 19835 | |
| metrics-jakarta-servlets-4.2.13.jar.sha1 | Fri Nov 18 23:16:51 CET 2022 | 40 | |
| metrics-jakarta-servlets-4.2.13.pom | Fri Nov 18 23:16:51 CET 2022 | 5807 | |
| metrics-jakarta-servlets-4.2.13.pom.sha1 | Fri Nov 18 23:16:51 CET 2022 | 40 |