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

implementation 'com.47deg:scalacheck-toolbox-magic_3:0.7.0'

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

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

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

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

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

'com.47deg:scalacheck-toolbox-magic_3:jar:0.7.0'