| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| optional_2.12-1.0.0-javadoc.jar | Fri Jul 07 08:43:01 UTC 2017 | 640020 | |
| optional_2.12-1.0.0-javadoc.jar.sha1 | Fri Jul 07 08:43:01 UTC 2017 | 40 | |
| optional_2.12-1.0.0-sources.jar | Wed Dec 28 14:35:11 UTC 2016 | 1046 | |
| optional_2.12-1.0.0-sources.jar.sha1 | Wed Dec 28 14:35:11 UTC 2016 | 40 |