<dependency> <groupId>io.github.mmhelloworld</groupId> <artifactId>idris-jvm</artifactId> <version>0.6.0</version> <type>pom</type> </dependency>
implementation 'io.github.mmhelloworld:idris-jvm:0.6.0'
implementation("io.github.mmhelloworld:idris-jvm:0.6.0")
libraryDependencies += "io.github.mmhelloworld" % "idris-jvm" % "0.6.0"
@Grapes( @Grab(group='io.github.mmhelloworld', module='idris-jvm', version='0.6.0') )
<dependency org="io.github.mmhelloworld" name="idris-jvm" rev="0.6.0" />
[io.github.mmhelloworld/idris-jvm "0.6.0"]
'io.github.mmhelloworld:idris-jvm:jar:0.6.0'