4.0.0 org.idris-lang $ARTIFACT-NAME$ jar 1.0 $ARTIFACT-NAME$ UTF-8 true org.idris-lang idris 0.9.10-alpha-1 $DEPENDENCIES$ $ARTIFACT-NAME$ org.apache.maven.plugins maven-compiler-plugin 3.0 1.7 1.7 org.apache.maven.plugins maven-surefire-plugin 2.14 ${skipTests} org.apache.maven.plugins maven-shade-plugin 2.1 package shade $MAIN-CLASS$