{"library":"dotty-library-0-24","install":[{"cmd":"<dependency>\n  <groupId>ch.epfl.lamp</groupId>\n  <artifactId>dotty-library_0.24</artifactId>\n  <version>0.24.0</version>\n</dependency>","imports":["dotty.library.Library"]},{"cmd":"implementation 'ch.epfl.lamp:dotty-library_0.24:0.24.0'","imports":[]}]}