| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| tomcat-juli-10.1.5-sources.jar | Mon Jan 09 21:19:49 CET 2023 | 37066 | |
| tomcat-juli-10.1.5-sources.jar.sha1 | Mon Jan 09 21:19:49 CET 2023 | 40 | |
| tomcat-juli-10.1.5.jar | Mon Jan 09 21:19:47 CET 2023 | 48258 | |
| tomcat-juli-10.1.5.jar.sha1 | Mon Jan 09 21:19:47 CET 2023 | 40 | |
| tomcat-juli-10.1.5.pom | Mon Jan 09 21:19:46 CET 2023 | 1531 | |
| tomcat-juli-10.1.5.pom.sha1 | Mon Jan 09 21:19:46 CET 2023 | 40 |