<dependency>
  <groupId>ch.epfl.scala</groupId>
  <artifactId>collections-contrib_2.13.0-M2</artifactId>
  <version>0.9.0</version>
</dependency>

implementation 'ch.epfl.scala:collections-contrib_2.13.0-M2:0.9.0'

implementation("ch.epfl.scala:collections-contrib_2.13.0-M2:0.9.0")

libraryDependencies += "ch.epfl.scala" % "collections-contrib_2.13.0-M2" % "0.9.0"

@Grapes(
  @Grab(group='ch.epfl.scala', module='collections-contrib_2.13.0-M2', version='0.9.0')
)

<dependency org="ch.epfl.scala" name="collections-contrib_2.13.0-M2" rev="0.9.0" />

[ch.epfl.scala/collections-contrib_2.13.0-M2 "0.9.0"]

'ch.epfl.scala:collections-contrib_2.13.0-M2:jar:0.9.0'