No JavaDoc is released for artifact org.sireum:prelude_2.12:3.1. Please try other versions. You can retry or report to us if you believe this is not expected.