| Site | Filename | Distribution | File size |
| ftp.icm.edu.pl | idris-0.9.9.1-2.el7.src.rpm | RedHat EL 7 | 340146 |
| ftp.icm.edu.pl | idris-0.9.9.1-2.el7.src.rpm | RedHat EL 7 | 340146 |
| ftp.icm.edu.pl | idris-0.9.9.1-2.el7.src.rpm | RedHat EL 7 | 340146 |
| ftp.icm.edu.pl | idris-0.9.9.1-2.el7.src.rpm | RedHat EL 7 | 340146 |
