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