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

Name                                  Last modified      Size

../
idris-0.9.10-alpha-2-javadoc.jar       21-Sep-2013 12:28  65.23 KB
idris-0.9.10-alpha-2-javadoc.jar.asc   21-Sep-2013 12:28  490 bytes
idris-0.9.10-alpha-2-sources.jar       21-Sep-2013 12:28  8.95 KB
idris-0.9.10-alpha-2-sources.jar.asc   21-Sep-2013 12:28  490 bytes
idris-0.9.10-alpha-2.jar               21-Sep-2013 12:28  18.09 KB
idris-0.9.10-alpha-2.jar.asc           21-Sep-2013 12:28  490 bytes
idris-0.9.10-alpha-2.pom               21-Sep-2013 12:28  3.71 KB
idris-0.9.10-alpha-2.pom.asc           21-Sep-2013 12:28  490 bytes