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