dotty-bridge 0.1.1-SNAPSHOT-20160609-8fe3e37 ch.epfl.lamp dotty-bridge 0.1.1-SNAPSHOT-20160609-8fe3e37