@@ -55,7 +55,7 @@ pom clsName artifactName dependencies = unode "project" ([
55 unode "skipTest" "true"
55 unode "skipTest" "true"
57 unode "dependencies" (
57 unode "dependencies" (
58− dependency "org.idris-lang" "idris" "0.9.11-alpha-2-SNAPSHOT" :
58+ dependency "org.idris-lang" "idris" "0.9.14" :
59 map parseToDep dependencies
59 map parseToDep dependencies
61 unode "build" [
61 unode "build" [