No JavaDoc is released for artifact org.sireum:prelude_2.12:3.1
Please try other versions.
Owner of the project? Troubleshoot following things:
report to us
Retry this version.
Sometimes it's just a matter of time to pick up new versions.
- Is the prelude_2.12-3.1-javadoc.jar actually distributed to either maven or bintray?
- Does the prelude_2.12-3.1-javadoc.jar file contains an index.html in the extracted root folder? (you can rename .jar to .zip to extract the file)
if you tried everything but still doesn't work.