| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| batch-2.13.72-sources.jar | Mon Aug 10 19:00:44 UTC 2020 | 637935 | |
| batch-2.13.72-sources.jar.sha1 | Mon Aug 10 19:00:44 UTC 2020 | 40 | |
| batch-2.13.72.pom | Mon Aug 10 19:01:10 UTC 2020 | 2328 | |
| batch-2.13.72.pom.sha1 | Mon Aug 10 19:01:10 UTC 2020 | 40 |