<dependency>
  <groupId>io.vavr</groupId>
  <artifactId>vavr</artifactId>
  <version>1.0.0-alpha-4</version>
</dependency>

implementation 'io.vavr:vavr:1.0.0-alpha-4'

implementation("io.vavr:vavr:1.0.0-alpha-4")

libraryDependencies += "io.vavr" % "vavr" % "1.0.0-alpha-4"

@Grapes(
  @Grab(group='io.vavr', module='vavr', version='1.0.0-alpha-4')
)

<dependency org="io.vavr" name="vavr" rev="1.0.0-alpha-4" />

[io.vavr/vavr "1.0.0-alpha-4"]

'io.vavr:vavr:jar:1.0.0-alpha-4'