| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| tools_2.12-0.4.17.jar | Sun Jun 14 23:17:01 CEST 2026 | 901594 | |
| tools_2.12-0.4.17.jar.sha1 | Sun Jun 14 23:17:08 CEST 2026 | 40 | |
| tools_2.12-0.4.17.pom | Sun Jun 14 23:16:42 CEST 2026 | 3327 | |
| tools_2.12-0.4.17.pom.sha1 | Sun Jun 14 23:16:43 CEST 2026 | 40 |