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