| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty-interfaces-0.14.0-bin-20190403-d00a7ba-NIGHTLY.jar | Wed Jul 29 03:41:54 Z 2026 | 3523 | |
| dotty-interfaces-0.14.0-bin-20190403-d00a7ba-NIGHTLY.pom | Wed Jul 29 03:41:31 Z 2026 | 3479 | |
| dotty-interfaces-0.14.0-bin-20190403-d00a7ba-NIGHTLY.pom.sha1 | Wed Jul 29 03:41:36 Z 2026 | 40 |