| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty_0.7-0.7.0-RC1.jar | Tue Mar 06 02:08:16 PST 2018 | 327 | |
| dotty_0.7-0.7.0-RC1.jar.sha1 | Tue Mar 06 02:08:16 PST 2018 | 40 | |
| dotty_0.7-0.7.0-RC1.pom | Tue Mar 06 02:11:27 PST 2018 | 4011 | |
| dotty_0.7-0.7.0-RC1.pom.sha1 | Tue Mar 06 02:11:27 PST 2018 | 40 |