| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty_0.3-0.3.0-RC2.jar | Tue Sep 15 21:34:51 Z 2026 | 327 | |
| dotty_0.3-0.3.0-RC2.jar.sha1 | Tue Sep 15 21:36:39 Z 2026 | 40 | |
| dotty_0.3-0.3.0-RC2.pom | Tue Sep 15 21:34:15 Z 2026 | 2696 | |
| dotty_0.3-0.3.0-RC2.pom.sha1 | Tue Sep 15 21:34:33 Z 2026 | 40 |