'org.idris-lang:idris:0.9.10-alpha-2'
<dependency>
<groupId>org.idris-lang</groupId>
<artifactId>idris</artifactId>
<version>0.9.10-alpha-2</version>
</dependency>
<dependency org="org.idris-lang" name="idris" rev="0.9.10-alpha-2"/>
"org.idris-lang", "idris", "0.9.10-alpha-2"