Latest version of de.sciss:fingertree_2.10.0-RC5
https://javadoc.io/doc/de.sciss/fingertree_2.10.0-RC5
Current version 1.2.0
https://javadoc.io/doc/de.sciss/fingertree_2.10.0-RC5/1.2.0
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/de.sciss/fingertree_2.10.0-RC5/1.2.0/package-list