| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| optional-1.13-sources.jar | Mon Nov 13 16:35:30 UTC 2017 | 261 | |
| optional-1.13-sources.jar.sha1 | Mon Nov 13 16:35:30 UTC 2017 | 40 | |
| optional-1.13.jar | Mon Nov 13 16:35:29 UTC 2017 | 4807 | |
| optional-1.13.jar.sha1 | Mon Nov 13 16:35:29 UTC 2017 | 40 | |
| optional-1.13.pom | Mon Nov 13 16:35:29 UTC 2017 | 1349 | |
| optional-1.13.pom.sha1 | Mon Nov 13 16:35:29 UTC 2017 | 40 |