<dependency>
  <groupId>eu.timepit</groupId>
  <artifactId>refined-scalacheck_1.13_2.12</artifactId>
  <version>0.9.3</version>
</dependency>

implementation 'eu.timepit:refined-scalacheck_1.13_2.12:0.9.3'

implementation("eu.timepit:refined-scalacheck_1.13_2.12:0.9.3")

libraryDependencies += "eu.timepit" % "refined-scalacheck_1.13_2.12" % "0.9.3"

@Grapes(
  @Grab(group='eu.timepit', module='refined-scalacheck_1.13_2.12', version='0.9.3')
)

<dependency org="eu.timepit" name="refined-scalacheck_1.13_2.12" rev="0.9.3" />

[eu.timepit/refined-scalacheck_1.13_2.12 "0.9.3"]

'eu.timepit:refined-scalacheck_1.13_2.12:jar:0.9.3'