Latest version of de.fosd.typechef:javabdd_repackaged_2.10
https://javadoc.io/doc/de.fosd.typechef/javabdd_repackaged_2.10
Current version 0.1
https://javadoc.io/doc/de.fosd.typechef/javabdd_repackaged_2.10/0.1
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/de.fosd.typechef/javabdd_repackaged_2.10/0.1/package-list