Dotty_0.11

<dependency>
    <groupId>ch.epfl.lamp</groupId>
    <artifactId>dotty_0.11</artifactId>
    <version>0.11.0</version>
</dependency>

compile group: 'ch.epfl.lamp', name: 'dotty_0.11', version: '0.11.0'

compile 'ch.epfl.lamp:dotty_0.11:0.11.0'

libraryDependencies += "ch.epfl.lamp" % "dotty_0.11" % "0.11.0"

<dependency org="ch.epfl.lamp" name="dotty_0.11" rev="0.11.0"/>

@Grapes(
            @Grab(group='ch.epfl.lamp', module='dotty_0.11', version='0.11.0')
        )

[ch.epfl.lamp/dotty_0.11 "0.11.0"]

'ch.epfl.lamp:dotty_0.11:jar:0.11.0'