| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty-interfaces-0.10.0-bin-20180817-e8f137c-NIGHTLY-javadoc.jar | Sat Aug 18 01:51:17 UTC 2018 | 189 | |
| dotty-interfaces-0.10.0-bin-20180817-e8f137c-NIGHTLY-javadoc.jar.sha1 | Sat Aug 18 01:51:17 UTC 2018 | 40 | |
| dotty-interfaces-0.10.0-bin-20180817-e8f137c-NIGHTLY-sources.jar | Sat Aug 18 01:50:55 UTC 2018 | 4486 | |
| dotty-interfaces-0.10.0-bin-20180817-e8f137c-NIGHTLY-sources.jar.sha1 | Sat Aug 18 01:50:55 UTC 2018 | 40 | |
| dotty-interfaces-0.10.0-bin-20180817-e8f137c-NIGHTLY.jar | Sat Aug 18 01:51:18 UTC 2018 | 3522 | |
| dotty-interfaces-0.10.0-bin-20180817-e8f137c-NIGHTLY.jar.sha1 | Sat Aug 18 01:51:18 UTC 2018 | 40 | |
| dotty-interfaces-0.10.0-bin-20180817-e8f137c-NIGHTLY.pom | Sat Aug 18 01:50:50 UTC 2018 | 3495 | |
| dotty-interfaces-0.10.0-bin-20180817-e8f137c-NIGHTLY.pom.sha1 | Sat Aug 18 01:50:50 UTC 2018 | 40 |