| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty_0.13-0.13.0-bin-20190120-2ce89da-NIGHTLY.jar | Sun Jan 20 18:50:30 PST 2019 | 350 | |
| dotty_0.13-0.13.0-bin-20190120-2ce89da-NIGHTLY.jar.sha1 | Sun Jan 20 18:50:30 PST 2019 | 40 | |
| dotty_0.13-0.13.0-bin-20190120-2ce89da-NIGHTLY.pom | Sun Jan 20 18:50:36 PST 2019 | 4076 | |
| dotty_0.13-0.13.0-bin-20190120-2ce89da-NIGHTLY.pom.sha1 | Sun Jan 20 18:50:36 PST 2019 | 40 |