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