<dependency>
  <groupId>ch.epfl.scala</groupId>
  <artifactId>tasty-mima_3</artifactId>
  <version>1.0.0</version>
</dependency>