<dependency> <groupId>de.learnlib</groupId> <artifactId>learnlib-dhc</artifactId> <version>0.11.2</version> </dependency>
'de.learnlib:learnlib-dhc:jar:0.11.2'
<dependency org="de.learnlib" name="learnlib-dhc" rev="0.11.2"> <artifact name="learnlib-dhc" type="jar" /> </dependency>
@Grapes( @Grab(group='de.learnlib', module='learnlib-dhc', version='0.11.2') )
compile 'de.learnlib:learnlib-dhc:0.11.2'
[de.learnlib/learnlib-dhc "0.11.2"]
libraryDependencies += "de.learnlib" % "learnlib-dhc" % "0.11.2"