Index of jcenter/org/idris-lang/idris/0.9.10-alpha-1

Name                                  Last modified      Size

../
idris-0.9.10-alpha-1-javadoc.jar       02-Aug-2013 01:48  64.86 KB
idris-0.9.10-alpha-1-javadoc.jar.asc   02-Aug-2013 01:48  490 bytes
idris-0.9.10-alpha-1-sources.jar       02-Aug-2013 01:48  8.92 KB
idris-0.9.10-alpha-1-sources.jar.asc   02-Aug-2013 01:48  490 bytes
idris-0.9.10-alpha-1.jar               02-Aug-2013 01:48  18.06 KB
idris-0.9.10-alpha-1.jar.asc           02-Aug-2013 01:48  490 bytes
idris-0.9.10-alpha-1.pom               02-Aug-2013 01:48  3.71 KB
idris-0.9.10-alpha-1.pom.asc           02-Aug-2013 01:48  490 bytes