<dependency>
<groupId>org.specs2</groupId>
<artifactId>specs2-scalacheck_2.13</artifactId>
<version>4.13.0</version>
</dependency>
@Grapes(
@Grab(group='org.specs2', module='specs2-scalacheck_2.13', version='4.13.0')
)