| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty_0.3-0.3.0-RC2.jar | Wed Sep 06 10:10:23 PDT 2017 | 327 | |
| dotty_0.3-0.3.0-RC2.jar.sha1 | Wed Sep 06 10:10:23 PDT 2017 | 40 | |
| dotty_0.3-0.3.0-RC2.pom | Wed Sep 06 10:13:16 PDT 2017 | 2696 | |
| dotty_0.3-0.3.0-RC2.pom.sha1 | Wed Sep 06 10:13:16 PDT 2017 | 40 |