| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| batch-2.20.107-sources.jar | Thu Jul 20 04:56:18 UTC 2023 | 737507 | |
| batch-2.20.107-sources.jar.sha1 | Thu Jul 20 04:56:18 UTC 2023 | 40 | |
| batch-2.20.107.jar | Thu Jul 20 04:56:58 UTC 2023 | 1300443 | |
| batch-2.20.107.jar.sha1 | Thu Jul 20 04:56:58 UTC 2023 | 40 |