文件名 | 操作 |
---|---|
idris-jvm-0.6.0.5.pom | 下载 |
<dependency>
<groupId>io.github.mmhelloworld</groupId>
<artifactId>idris-jvm</artifactId>
<version>0.6.0.5</version>
<type>pom</type>
</dependency>
@Grapes(
@Grab(group='io.github.mmhelloworld', module='idris-jvm', version='0.6.0.5')
)