Download all versions of idris-jvm JAR files with all dependencies
idris-jvm from group io.github.mmhelloworld (version 0.7.1-rc.1)
JVM bytecode backend for Idris
Group: io.github.mmhelloworld Artifact: idris-jvm
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact idris-jvm
Group io.github.mmhelloworld
Version 0.7.1-rc.1
Last update 12. August 2024
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.mmhelloworld
Version 0.7.1-rc.1
Last update 12. August 2024
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
idris-jvm from group io.github.mmhelloworld (version 0.7.0)
JVM bytecode backend for Idris
Group: io.github.mmhelloworld Artifact: idris-jvm
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact idris-jvm
Group io.github.mmhelloworld
Version 0.7.0
Last update 15. July 2024
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.mmhelloworld
Version 0.7.0
Last update 15. July 2024
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
idris-jvm from group io.github.mmhelloworld (version 0.6.0.11)
JVM bytecode backend for Idris
Group: io.github.mmhelloworld Artifact: idris-jvm
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact idris-jvm
Group io.github.mmhelloworld
Version 0.6.0.11
Last update 21. March 2024
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.mmhelloworld
Version 0.6.0.11
Last update 21. March 2024
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
idris-jvm from group io.github.mmhelloworld (version 0.6.0.6)
JVM bytecode backend for Idris
Group: io.github.mmhelloworld Artifact: idris-jvm
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact idris-jvm
Group io.github.mmhelloworld
Version 0.6.0.6
Last update 12. February 2024
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.mmhelloworld
Version 0.6.0.6
Last update 12. February 2024
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
idris-jvm from group io.github.mmhelloworld (version 0.6.0.5)
JVM bytecode backend for Idris
Group: io.github.mmhelloworld Artifact: idris-jvm
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact idris-jvm
Group io.github.mmhelloworld
Version 0.6.0.5
Last update 09. February 2024
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.mmhelloworld
Version 0.6.0.5
Last update 09. February 2024
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
idris-jvm from group io.github.mmhelloworld (version 0.6.0.4)
JVM bytecode backend for Idris
Group: io.github.mmhelloworld Artifact: idris-jvm
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact idris-jvm
Group io.github.mmhelloworld
Version 0.6.0.4
Last update 28. March 2023
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.mmhelloworld
Version 0.6.0.4
Last update 28. March 2023
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
idris-jvm from group io.github.mmhelloworld (version 0.6.0.3)
JVM bytecode backend for Idris
Group: io.github.mmhelloworld Artifact: idris-jvm
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact idris-jvm
Group io.github.mmhelloworld
Version 0.6.0.3
Last update 24. March 2023
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.mmhelloworld
Version 0.6.0.3
Last update 24. March 2023
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
idris-jvm from group io.github.mmhelloworld (version 0.6.0.2)
JVM bytecode backend for Idris
Group: io.github.mmhelloworld Artifact: idris-jvm
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact idris-jvm
Group io.github.mmhelloworld
Version 0.6.0.2
Last update 15. March 2023
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.mmhelloworld
Version 0.6.0.2
Last update 15. March 2023
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
idris-jvm from group io.github.mmhelloworld (version 0.6.0.1)
JVM bytecode backend for Idris
Group: io.github.mmhelloworld Artifact: idris-jvm
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact idris-jvm
Group io.github.mmhelloworld
Version 0.6.0.1
Last update 13. March 2023
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.mmhelloworld
Version 0.6.0.1
Last update 13. March 2023
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
idris-jvm from group io.github.mmhelloworld (version 0.6.0)
JVM bytecode backend for Idris
Group: io.github.mmhelloworld Artifact: idris-jvm
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact idris-jvm
Group io.github.mmhelloworld
Version 0.6.0
Last update 27. February 2023
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.mmhelloworld
Version 0.6.0
Last update 27. February 2023
Tags: bytecode idris backend
Organization not specified
URL https://github.com/mmhelloworld/idris-jvm
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 2 (items total 17)