<dependency> <groupId>de.uni_bremen.agra.fomeja</groupId> <artifactId>fomeja</artifactId> <version>1.0.0</version> </dependency>
implementation 'de.uni_bremen.agra.fomeja:fomeja:1.0.0'
implementation("de.uni_bremen.agra.fomeja:fomeja:1.0.0")
libraryDependencies += "de.uni_bremen.agra.fomeja" % "fomeja" % "1.0.0"
@Grapes( @Grab(group='de.uni_bremen.agra.fomeja', module='fomeja', version='1.0.0') )
<dependency org="de.uni_bremen.agra.fomeja" name="fomeja" rev="1.0.0" />
[de.uni_bremen.agra.fomeja/fomeja "1.0.0"]
'de.uni_bremen.agra.fomeja:fomeja:jar:1.0.0'
compile
|-- junit:junit:4.12
|-- log4j:log4j:1.2.17
|-- org.apache.commons:commons-lang3:3.4
|-- com.microsoft:z3:4.3.2