<dependency>
  <groupId>org.typelevel</groupId>
  <artifactId>sbt-typelevel</artifactId>
  <version>0.4.16</version>
</dependency>

implementation 'org.typelevel:sbt-typelevel:0.4.16'

implementation("org.typelevel:sbt-typelevel:0.4.16")

libraryDependencies += "org.typelevel" % "sbt-typelevel" % "0.4.16"

@Grapes(
  @Grab(group='org.typelevel', module='sbt-typelevel', version='0.4.16')
)

<dependency org="org.typelevel" name="sbt-typelevel" rev="0.4.16" />

[org.typelevel/sbt-typelevel "0.4.16"]

'org.typelevel:sbt-typelevel:jar:0.4.16'