4.0.0 io.github.mmhelloworld idris-jvm 0.6.0-rc.1 pom Idris JVM JVM bytecode backend for Idris https://github.com/mmhelloworld/idris-jvm BSD-3-Clause https://opensource.org/licenses/BSD-3-Clause mmhelloworld Marimuthu Madasamy 9.4 3.16.1 UTF-8 github 1.8 5.7.2 2.11.0 3.1.0 3.8.1 3.2.0 2.5.2 3.2.4 2.22.2 3.0.0 3.3.0 1.10 3.2.0 3.0.0 1.6.8 3.0.1 3.0.0-M1 3.0.0-M4 2.8.1 3.2.0 3.4.0 3.6.0 1.1.0 http://github.com/mmhelloworld/idris-jvm scm:git:git://github.com/mmhelloworld/idris-jvm.git scm:git:https://github.com/mmhelloworld/idris-jvm.git v0.6.0-rc.1 GitHub https://github.com/mmhelloworld/idris-jvm/issues org.ow2.asm asm ${asm.version} org.apache.maven maven-artifact ${maven-artifact.version} org.assertj assertj-core ${assertj.version} test org.junit.jupiter junit-jupiter-api ${junit-jupiter.version} test org.junit.jupiter junit-jupiter-engine ${junit-jupiter.version} test org.junit.jupiter junit-jupiter-params ${junit-jupiter.version} test org.codehaus.mojo build-helper-maven-plugin ${build-helper-maven-plugin.version} org.codehaus.mojo exec-maven-plugin ${exec-maven-plugin.version} org.apache.maven.plugins maven-source-plugin ${maven-source-plugin.version} org.apache.maven.plugins maven-javadoc-plugin ${maven-javadoc-plugin.version} org.apache.maven.plugins maven-jar-plugin ${maven-jar-plugin.version} maven-compiler-plugin ${maven-compiler-plugin.version} ${java.version} ${java.version} maven-assembly-plugin ${maven-assembly-plugin.version} org.apache.maven.plugins maven-shade-plugin ${maven-shade-plugin.version} org.apache.maven.plugins maven-surefire-plugin ${maven-surefire-plugin.version} org.apache.maven.plugins maven-install-plugin ${maven-install-plugin.version} org.codehaus.mojo appassembler-maven-plugin ${appassembler-maven-plugin.version} org.apache.maven.plugins maven-resources-plugin ${maven-resources-plugin.version} org.codehaus.mojo properties-maven-plugin ${properties-maven-plugin.version} org.apache.maven.plugins maven-gpg-plugin ${maven-gpg-plugin.version} maven-antrun-plugin ${maven-antrun-plugin.version} org.codehaus.mojo versions-maven-plugin ${versions-maven-plugin.version} org.sonatype.plugins nexus-staging-maven-plugin ${nexus-staging-maven-plugin.version} org.apache.maven.plugins maven-release-plugin ${maven-release-plugin.version} org.apache.maven.plugins maven-deploy-plugin ${maven-deploy-plugin.version} org.sonatype.plugins nexus-staging-maven-plugin true ossrh https://oss.sonatype.org/ true org.apache.maven.plugins maven-release-plugin v@{project.version} true release -DskipTests @{prefix} prepare for next development iteration [skip ci] @{prefix} prepare release @{releaseLabel} [skip ci] default true idris-jvm-assembler idris-jvm-runtime idris-jvm-compiler idris-jvm-tests release true idris-jvm-assembler idris-jvm-runtime idris-jvm-compiler org.apache.maven.plugins maven-gpg-plugin sign-artifacts verify sign --pinentry-mode loopback ossrh https://oss.sonatype.org/content/repositories/snapshots ossrh https://oss.sonatype.org/service/local/staging/deploy/maven2/ oss.sonatype.org-snapshot https://oss.sonatype.org/content/repositories/snapshots false true