Push java RTS version to the first one including signed comparisons
commit5b5c19cee994e20f26383240b801457265718a70
authorJan Bessai <Jan.Bessai@tu-dortmund.de>
dateFri 2 Aug 2013, 04:04 (13 years ago)
parent77884e4
java/executable_pom_template.xml+1−1
@@ -15,7 +15,7 @@
1515 <dependency>
1616 <groupId>org.idris-lang</groupId>
1717 <artifactId>idris</artifactId>
18− <version>0.9.9</version>
18+ <version>0.9.10-alpha-1</version>
1919 </dependency>
2020$DEPENDENCIES$
2121 </dependencies>