<dependency>
  <groupId>org.mdedetrich</groupId>
  <artifactId>scalacheck_2.13</artifactId>
  <version>1.17.0</version>
</dependency>

implementation 'org.mdedetrich:scalacheck_2.13:1.17.0'

implementation("org.mdedetrich:scalacheck_2.13:1.17.0")

libraryDependencies += "org.mdedetrich" % "scalacheck_2.13" % "1.17.0"

@Grapes(
  @Grab(group='org.mdedetrich', module='scalacheck_2.13', version='1.17.0')
)

<dependency org="org.mdedetrich" name="scalacheck_2.13" rev="1.17.0" />

[org.mdedetrich/scalacheck_2.13 "1.17.0"]

'org.mdedetrich:scalacheck_2.13:jar:1.17.0'