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