<dependency>
  <groupId>ch.epfl.scala</groupId>
  <artifactId>util-interface</artifactId>
  <version>2.0.0-alpha10</version>
</dependency>

implementation 'ch.epfl.scala:util-interface:2.0.0-alpha10'

implementation("ch.epfl.scala:util-interface:2.0.0-alpha10")

libraryDependencies += "ch.epfl.scala" % "util-interface" % "2.0.0-alpha10"

@Grapes(
  @Grab(group='ch.epfl.scala', module='util-interface', version='2.0.0-alpha10')
)

<dependency org="ch.epfl.scala" name="util-interface" rev="2.0.0-alpha10" />

[ch.epfl.scala/util-interface "2.0.0-alpha10"]

'ch.epfl.scala:util-interface:jar:2.0.0-alpha10'