<dependency>
  <groupId>io.github.mmhelloworld</groupId>
  <artifactId>idris-jvm</artifactId>
  <version>0.6.0.11</version>
  <type>pom</type>
</dependency>

implementation 'io.github.mmhelloworld:idris-jvm:0.6.0.11'

implementation("io.github.mmhelloworld:idris-jvm:0.6.0.11")

libraryDependencies += "io.github.mmhelloworld" % "idris-jvm" % "0.6.0.11"

@Grapes(
  @Grab(group='io.github.mmhelloworld', module='idris-jvm', version='0.6.0.11')
)

<dependency org="io.github.mmhelloworld" name="idris-jvm" rev="0.6.0.11" />

[io.github.mmhelloworld/idris-jvm "0.6.0.11"]

'io.github.mmhelloworld:idris-jvm:jar:0.6.0.11'