MVN

io.github.mmhelloworld : idris-jvm

Maven & Gradle

Mar 28, 2023
469 stars

Idris JVM · JVM bytecode backend for Idris

<dependency>
    <groupId>io.github.mmhelloworld</groupId>
    <artifactId>idris-jvm</artifactId>
    <version>0.6.0.4</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of io.github.mmhelloworld : idris-jvm to add to Maven - Latest Versions:

  • Latest Stable: 0.6.0.4
  • Latest Release Candidate: 0.6.0-rc.1

All Versions

Choose a version of io.github.mmhelloworld : idris-jvm to add to Maven - All Versions:

Version Vulnerabilities Updated
0.6.x
idris-jvm-0.6.0.4
idris-jvm-0.6.0.3
idris-jvm-0.6.0.2
idris-jvm-0.6.0.1
idris-jvm-0.6.0
idris-jvm-0.6.0-rc.1
0.5.x
idris-jvm-0.5.1.2
idris-jvm-0.5.1.1
idris-jvm-0.5.1
0.0.x
idris-jvm-0.0.1.5
idris-jvm-0.0.1.4
idris-jvm-0.0.1.3

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>io.github.mmhelloworld</groupId>
    <artifactId>idris-jvm</artifactId>
    <version>0.6.0.4</version>
</dependency>