@@ -15,7 +15,7 @@
1515 <dependency>
1616 <groupId>org.idris-lang</groupId>
1717 <artifactId>idris</artifactId>
18− <version>$RTS-VERSION$</version>
18+ <version>0.9.9</version>
1919 </dependency>
2020$DEPENDENCIES$
2121 </dependencies>
@@ -44,7 +44,7 @@ $DEPENDENCIES$
4444 <plugin>
4545 <groupId>org.apache.maven.plugins</groupId>
4646 <artifactId>maven-shade-plugin</artifactId>
47− <version>2.0</version>
47+ <version>2.1</version>
4848 <executions>
4949 <execution>
5050 <phase>package</phase>