Index of jcenter/org/idris-lang/idris/0.9.14

Name                          Last modified      Size

../
idris-0.9.14-javadoc.jar       07-Jun-2014 19:45  67.79 KB
idris-0.9.14-javadoc.jar.asc   07-Jun-2014 19:45  473 bytes
idris-0.9.14-sources.jar       07-Jun-2014 19:45  11.14 KB
idris-0.9.14-sources.jar.asc   07-Jun-2014 19:45  473 bytes
idris-0.9.14.jar               07-Jun-2014 19:44  22.54 KB
idris-0.9.14.jar.asc           07-Jun-2014 19:45  473 bytes
idris-0.9.14.pom               07-Jun-2014 19:45  3.70 KB
idris-0.9.14.pom.asc           07-Jun-2014 19:45  473 bytes