<dependency>
  <groupId>io.circe</groupId>
  <artifactId>circe-core_2.13</artifactId>
  <version>0.14.5</version>
</dependency>

implementation 'io.circe:circe-core_2.13:0.14.5'

implementation("io.circe:circe-core_2.13:0.14.5")

libraryDependencies += "io.circe" % "circe-core_2.13" % "0.14.5"

@Grapes(
  @Grab(group='io.circe', module='circe-core_2.13', version='0.14.5')
)

<dependency org="io.circe" name="circe-core_2.13" rev="0.14.5" />

[io.circe/circe-core_2.13 "0.14.5"]

'io.circe:circe-core_2.13:jar:0.14.5'