<dependency>
  <groupId>dev.zio</groupId>
  <artifactId>docs_2.13</artifactId>
  <version>23.1.0.2</version>
</dependency>

implementation 'dev.zio:docs_2.13:23.1.0.2'

implementation("dev.zio:docs_2.13:23.1.0.2")

libraryDependencies += "dev.zio" % "docs_2.13" % "23.1.0.2"

@Grapes(
  @Grab(group='dev.zio', module='docs_2.13', version='23.1.0.2')
)

<dependency org="dev.zio" name="docs_2.13" rev="23.1.0.2" />

[dev.zio/docs_2.13 "23.1.0.2"]

'dev.zio:docs_2.13:jar:23.1.0.2'