Latest version of com.digitalasset:resources_2.12
https://javadoc.io/doc/com.digitalasset/resources_2.12
Current version 100.13.55-snapshot.20200309.3401.6f8c3ad8
https://javadoc.io/doc/com.digitalasset/resources_2.12/100.13.55-snapshot.20200309.3401.6f8c3ad8
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/com.digitalasset/resources_2.12/100.13.55-snapshot.20200309.3401.6f8c3ad8/package-list