<dependency>
<groupId>org.typelevel</groupId>
<artifactId>discipline-specs2_2.13</artifactId>
<version>1.2.5</version>
</dependency>
@Grapes(
@Grab(group='org.typelevel', module='discipline-specs2_2.13', version='1.2.5')
)