{"library":"dotty-library-0-22","install":[{"cmd":"<dependency>\n  <groupId>ch.epfl.lamp</groupId>\n  <artifactId>dotty-library_0.22</artifactId>\n  <version>0.22.0</version>\n</dependency>","imports":["scala.collection.immutable.List"]},{"cmd":"implementation 'ch.epfl.lamp:dotty-library_0.22:0.22.0'","imports":[]}]}