4.0.0 org.sonatype.oss oss-parent 7 org.idris-lang idris 0.9.14 jar Idris Java RTS Runtime System for the Idris Java Backend http://www.irdis-lang.org BSD-style https://github.com/edwinb/Idris-dev/blob/master/LICENSE repo scm:git:https://github.com/idris-hackers/idris-java-rts.git scm:git:https://github.com/idris-hackers/idris-java-rts.git scm:git:https://github.com/idris-hackers/idris-java-rts.git idris-0.9.14 janbessai Jan Bessai jan.bessai@tu-dortmund.de UTF-8 true ${project.groupId}-${project.artifactId} 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-release-plugin 2.4.1 forked-path release-sign-artifacts performRelease true org.apache.maven.plugins maven-gpg-plugin 1.1 sign-artifacts verify sign