| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty-doc_0.14-0.14.0-bin-20190403-d00a7ba-NIGHTLY.jar | Wed Jul 29 03:41:03 Z 2026 | 1065907 | |
| dotty-doc_0.14-0.14.0-bin-20190403-d00a7ba-NIGHTLY.pom | Wed Jul 29 03:40:28 Z 2026 | 5799 | |
| dotty-doc_0.14-0.14.0-bin-20190403-d00a7ba-NIGHTLY.pom.sha1 | Wed Jul 29 03:40:45 Z 2026 | 40 |