| Site | Filename | Distribution | File size |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
| ftp.icm.edu.pl | coq-ide-8.20.0-1.1.x86_64.rpm | openSUSE Tumbleweed | 23697995 |
