| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty_0.13-0.13.0-bin-20190120-e873908-NIGHTLY.jar | Sat Jan 19 18:50:28 PST 2019 | 350 | |
| dotty_0.13-0.13.0-bin-20190120-e873908-NIGHTLY.jar.sha1 | Sat Jan 19 18:50:28 PST 2019 | 40 | |
| dotty_0.13-0.13.0-bin-20190120-e873908-NIGHTLY.pom | Sat Jan 19 18:50:35 PST 2019 | 4076 | |
| dotty_0.13-0.13.0-bin-20190120-e873908-NIGHTLY.pom.sha1 | Sat Jan 19 18:50:35 PST 2019 | 40 |