| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty-interfaces-0.28.0-bin-20201009-b22331e-NIGHTLY.jar | Fri Oct 09 20:56:02 PDT 2020 | 3522 | |
| dotty-interfaces-0.28.0-bin-20201009-b22331e-NIGHTLY.jar.sha1 | Fri Oct 09 20:56:02 PDT 2020 | 40 | |
| dotty-interfaces-0.28.0-bin-20201009-b22331e-NIGHTLY.pom | Fri Oct 09 20:56:02 PDT 2020 | 3469 | |
| dotty-interfaces-0.28.0-bin-20201009-b22331e-NIGHTLY.pom.sha1 | Fri Oct 09 20:56:02 PDT 2020 | 40 |