| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| ports_2.13-3.5.15.jar | Mon Oct 05 04:29:38 Z 2026 | 45059 | |
| ports_2.13-3.5.15.jar.sha1 | Mon Oct 05 04:30:13 Z 2026 | 40 | |
| ports_2.13-3.5.15.pom | Mon Oct 05 04:27:52 Z 2026 | 2013 | |
| ports_2.13-3.5.15.pom.sha1 | Mon Oct 05 04:28:09 Z 2026 | 40 |