| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty-interfaces-0.3.0-RC2-sources.jar | Sat Aug 29 17:37:09 Z 2026 | 4460 | |
| dotty-interfaces-0.3.0-RC2.jar | Fri Aug 21 10:16:18 Z 2026 | 3499 | |
| dotty-interfaces-0.3.0-RC2.jar.sha1 | Tue Sep 15 21:37:04 Z 2026 | 40 | |
| dotty-interfaces-0.3.0-RC2.pom | Fri Aug 21 10:13:53 Z 2026 | 2114 | |
| dotty-interfaces-0.3.0-RC2.pom.sha1 | Tue Sep 15 21:35:17 Z 2026 | 40 |