<dependency>
  <groupId>org.scalacheck</groupId>
  <artifactId>scalacheck_2.12.0-M4</artifactId>
  <version>1.12.5</version>
</dependency>

implementation 'org.scalacheck:scalacheck_2.12.0-M4:1.12.5'

implementation("org.scalacheck:scalacheck_2.12.0-M4:1.12.5")

libraryDependencies += "org.scalacheck" % "scalacheck_2.12.0-M4" % "1.12.5"

@Grapes(
  @Grab(group='org.scalacheck', module='scalacheck_2.12.0-M4', version='1.12.5')
)

<dependency org="org.scalacheck" name="scalacheck_2.12.0-M4" rev="1.12.5" />

[org.scalacheck/scalacheck_2.12.0-M4 "1.12.5"]

'org.scalacheck:scalacheck_2.12.0-M4:jar:1.12.5'