@@ -15,7 +15,7 @@
15 <dependency>
15 <dependency>
16 <groupId>org.idris-lang</groupId>
16 <groupId>org.idris-lang</groupId>
17 <artifactId>idris</artifactId>
17 <artifactId>idris</artifactId>
18− <version>0.9.9</version>
18+ <version>0.9.10-alpha-1</version>
19 </dependency>
19 </dependency>
20$DEPENDENCIES$
20$DEPENDENCIES$
21 </dependencies>
21 </dependencies>