| Site | Filename | Distribution | File size |
| ftp.icm.edu.pl | idris-docs-1.3.1-1.fc30.noarch.rpm | Fedora 30 | 199424 |
| ftp.icm.edu.pl | idris-docs-1.3.1-1.fc30.noarch.rpm | Fedora 30 | 199424 |
| ftp.icm.edu.pl | idris-docs-1.3.1-1.fc30.noarch.rpm | Fedora 30 | 199424 |
| ftp.icm.edu.pl | idris-docs-1.3.1-1.fc30.noarch.rpm | Fedora 30 | 199424 |
