| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty-interfaces-0.10.0-bin-20180902-a31ea22-NIGHTLY-javadoc.jar | Mon Sep 03 01:51:36 UTC 2018 | 189 | |
| dotty-interfaces-0.10.0-bin-20180902-a31ea22-NIGHTLY-javadoc.jar.sha1 | Mon Sep 03 01:51:36 UTC 2018 | 40 | |
| dotty-interfaces-0.10.0-bin-20180902-a31ea22-NIGHTLY-sources.jar | Mon Sep 03 01:51:32 UTC 2018 | 4486 | |
| dotty-interfaces-0.10.0-bin-20180902-a31ea22-NIGHTLY-sources.jar.sha1 | Mon Sep 03 01:51:32 UTC 2018 | 40 | |
| dotty-interfaces-0.10.0-bin-20180902-a31ea22-NIGHTLY.jar | Mon Sep 03 01:51:37 UTC 2018 | 3522 | |
| dotty-interfaces-0.10.0-bin-20180902-a31ea22-NIGHTLY.jar.sha1 | Mon Sep 03 01:51:37 UTC 2018 | 40 | |
| dotty-interfaces-0.10.0-bin-20180902-a31ea22-NIGHTLY.pom | Mon Sep 03 01:51:31 UTC 2018 | 3495 | |
| dotty-interfaces-0.10.0-bin-20180902-a31ea22-NIGHTLY.pom.sha1 | Mon Sep 03 01:51:31 UTC 2018 | 40 |