| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| dotty-doc_0.16-0.16.0-RC3.jar | Mon Jul 27 02:27:32 Z 2026 | 1086813 | |
| dotty-doc_0.16-0.16.0-RC3.jar.sha1 | Mon Jul 27 02:32:29 Z 2026 | 40 | |
| dotty-doc_0.16-0.16.0-RC3.pom | Mon Jul 27 02:27:09 Z 2026 | 5571 | |
| dotty-doc_0.16-0.16.0-RC3.pom.sha1 | Mon Jul 27 02:27:13 Z 2026 | 40 |