<dependency>
  <groupId>edu.uiowa.cs.clc</groupId>
  <artifactId>kind2-java-api</artifactId>
  <version>0.4.1</version>
</dependency>

implementation 'edu.uiowa.cs.clc:kind2-java-api:0.4.1'

implementation("edu.uiowa.cs.clc:kind2-java-api:0.4.1")

libraryDependencies += "edu.uiowa.cs.clc" % "kind2-java-api" % "0.4.1"

@Grapes(
  @Grab(group='edu.uiowa.cs.clc', module='kind2-java-api', version='0.4.1')
)

<dependency org="edu.uiowa.cs.clc" name="kind2-java-api" rev="0.4.1" />

[edu.uiowa.cs.clc/kind2-java-api "0.4.1"]

'edu.uiowa.cs.clc:kind2-java-api:jar:0.4.1'