<dependency>
  <groupId>com.github.japgolly.microlibs</groupId>
  <artifactId>types_3</artifactId>
  <version>3.0</version>
</dependency>

implementation 'com.github.japgolly.microlibs:types_3:3.0'

implementation("com.github.japgolly.microlibs:types_3:3.0")

libraryDependencies += "com.github.japgolly.microlibs" % "types_3" % "3.0"

@Grapes(
  @Grab(group='com.github.japgolly.microlibs', module='types_3', version='3.0')
)

<dependency org="com.github.japgolly.microlibs" name="types_3" rev="3.0" />

[com.github.japgolly.microlibs/types_3 "3.0"]

'com.github.japgolly.microlibs:types_3:jar:3.0'