<dependency>
  <groupId>com.47deg</groupId>
  <artifactId>scalacheck-toolbox-magic_2.13</artifactId>
  <version>0.7.0</version>
</dependency>

implementation 'com.47deg:scalacheck-toolbox-magic_2.13:0.7.0'

implementation("com.47deg:scalacheck-toolbox-magic_2.13:0.7.0")

libraryDependencies += "com.47deg" % "scalacheck-toolbox-magic_2.13" % "0.7.0"

@Grapes(
  @Grab(group='com.47deg', module='scalacheck-toolbox-magic_2.13', version='0.7.0')
)

<dependency org="com.47deg" name="scalacheck-toolbox-magic_2.13" rev="0.7.0" />

[com.47deg/scalacheck-toolbox-magic_2.13 "0.7.0"]

'com.47deg:scalacheck-toolbox-magic_2.13:jar:0.7.0'