<dependency>
<groupId>ch.epfl.lamp</groupId>
<artifactId>dotty-library_0.25</artifactId>
<version>0.25.0-RC2</version>
</dependency>
@Grapes(
@Grab(group='ch.epfl.lamp', module='dotty-library_0.25', version='0.25.0-RC2')
)