4.0.0 org.idris-lang idris $RTS-VERSION$ jar Runtime System for the Idris Java Backend http://www.irdis-lang.org UTF-8 true org.apache.maven.plugins maven-compiler-plugin 3.0 1.7 1.7 org.apache.maven.plugins maven-surefire-plugin 2.14 ${skipTests}