| Name | Last modified | Size | Description |
|---|---|---|---|
| Parent Directory | - | ||
| idris.spec | 2018-06-29 07:19 | 8.3K | |
| idris-0.9.7-2.fc18.src.rpm | 2013-04-06 03:53 | 239K | |
| idris-0.9.8-1.fc19.src.rpm | 2013-07-01 15:03 | 290K | |
| idris-0.9.8-2.fc19.src.rpm | 2013-07-08 10:15 | 290K | |
| idris-0.9.8-3.fc19.src.rpm | 2013-07-10 04:00 | 290K | |
| idris-1.3.0-1.fc28.src.rpm | 2018-06-26 04:04 | 1.0M | |
| idris-1.3.0-2.fc28.src.rpm | 2018-06-26 04:05 | 1.9M | |
| idris-1.3.0-3.fc28.src.rpm | 2018-06-29 07:19 | 1.9M |