Toggle navigation
Search
POM Detection
JVS
About
Search
groupId
artifactId
className
fullClassName
sha1
JAR
Artifact
Latest version
Version Count
Packaging
Update time
io.github.mmhelloworld:idris-jvm-runtime
0.6.0.11
15
jar
Mar 21, 2024
io.github.mmhelloworld:idris-jvm-compiler
0.6.0.11
15
jar
Mar 21, 2024
io.github.mmhelloworld:idris-jvm
0.6.0.11
15
pom
Mar 21, 2024
io.github.mmhelloworld:idris-jvm-assembler
0.6.0.11
15
jar
Mar 21, 2024
org.idris-lang:idris
0.9.14
5
jar
Jun 08, 2014
5 Records