No JavaDoc is released for artifact ch.epfl.lamp:dotty-library_0.1:0.1.2-RC1. Please try other versions. You can retry or report to us if you believe this is not expected.