'de.learnlib.distribution:learnlib-distribution:0.12.0'
<dependency>
<groupId>de.learnlib.distribution</groupId>
<artifactId>learnlib-distribution</artifactId>
<version>0.12.0</version>
</dependency>
<dependency org="de.learnlib.distribution" name="learnlib-distribution" rev="0.12.0"/>
"de.learnlib.distribution", "learnlib-distribution", "0.12.0"