Java rts version update to 0.9.14
commit017509387b18bb2cfeec8ae9fb3b09a2d947891e
authorJan Bessai <Jan.Bessai@tu-dortmund.de>
dateSat 7 Jun 2014, 22:01 (12 years ago)
parent71fae28
src/IRTS/Java/Pom.hs+1−1
@@ -55,7 +55,7 @@ pom clsName artifactName dependencies = unode "project" ([
5555 unode "skipTest" "true"
5656 ],
5757 unode "dependencies" (
58− dependency "org.idris-lang" "idris" "0.9.11-alpha-2-SNAPSHOT" :
58+ dependency "org.idris-lang" "idris" "0.9.14" :
5959 map parseToDep dependencies
6060 ),
6161 unode "build" [