is not current version

io.github.mmhelloworld:idris-jvm-compiler 0.0.1.5

GroupId	GroupId io.github.mmhelloworld
ArtifactId	ArtifactId idris-jvm-compiler
Version	Version 0.0.1.5
Type	Type zip

Download idris-jvm-compiler 0.0.1.5

Filename	Size
idris-jvm-compiler-0.0.1.5.pom
idris-jvm-compiler-0.0.1.5.zip	7 MB
idris-jvm-compiler-0.0.1.5-sources.jar	1 MB
idris-jvm-compiler-0.0.1.5-javadoc.jar	23 KB
Browse