Latest version of de.tu-darmstadt.stg:reactives_native0.5_3
https://javadoc.io/doc/de.tu-darmstadt.stg/reactives_native0.5_3
Current version 0.37.0+411-252a28b5
https://javadoc.io/doc/de.tu-darmstadt.stg/reactives_native0.5_3/0.37.0+411-252a28b5
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/de.tu-darmstadt.stg/reactives_native0.5_3/0.37.0+411-252a28b5/package-list