| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| idris-0.9.14-javadoc.jar | Sat Jun 07 19:45:16 UTC 2014 | 69415 | |
| idris-0.9.14-javadoc.jar.sha1 | Sat Jun 07 19:45:16 UTC 2014 | 40 | |
| idris-0.9.14-sources.jar | Sat Jun 07 19:45:11 UTC 2014 | 11407 | |
| idris-0.9.14-sources.jar.sha1 | Sat Jun 07 19:45:11 UTC 2014 | 40 | |
| idris-0.9.14.jar | Sat Jun 07 19:44:57 UTC 2014 | 23081 | |
| idris-0.9.14.jar.sha1 | Sat Jun 07 19:44:57 UTC 2014 | 40 | |
| idris-0.9.14.pom | Sat Jun 07 19:45:02 UTC 2014 | 3786 | |
| idris-0.9.14.pom.sha1 | Sat Jun 07 19:45:02 UTC 2014 | 40 |