No JavaDoc is released for artifact ch.epfl.lamp:dotty-library_0.25:0.25.0-bin-20200511-5fb865b-NIGHTLY. Please try other versions.

Owner of the project? Troubleshoot following things: report to us if you tried everything but still doesn't work.