| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty-doc_0.21-0.21.0-bin-20191217-fa9a48e-NIGHTLY.jar | Tue Dec 17 18:56:31 PST 2019 | 1049563 | |
| dotty-doc_0.21-0.21.0-bin-20191217-fa9a48e-NIGHTLY.jar.sha1 | Tue Dec 17 18:56:31 PST 2019 | 40 | |
| dotty-doc_0.21-0.21.0-bin-20191217-fa9a48e-NIGHTLY.pom | Tue Dec 17 18:56:31 PST 2019 | 5625 | |
| dotty-doc_0.21-0.21.0-bin-20191217-fa9a48e-NIGHTLY.pom.sha1 | Tue Dec 17 18:56:31 PST 2019 | 40 |