<dependency>
  <groupId>net.jqwik</groupId>
  <artifactId>jqwik-vavr</artifactId>
  <version>3.0.0</version>
</dependency>

implementation 'net.jqwik:jqwik-vavr:3.0.0'

implementation("net.jqwik:jqwik-vavr:3.0.0")

libraryDependencies += "net.jqwik" % "jqwik-vavr" % "3.0.0"

@Grapes(
  @Grab(group='net.jqwik', module='jqwik-vavr', version='3.0.0')
)

<dependency org="net.jqwik" name="jqwik-vavr" rev="3.0.0" />

[net.jqwik/jqwik-vavr "3.0.0"]

'net.jqwik:jqwik-vavr:jar:3.0.0'