| Site | Filename | Distribution | File size |
| ftp.icm.edu.pl | coq-doc-8.16.1-1.mga9.noarch.rpm | Mageia Cauldron | 4218007 |
| ftp.icm.edu.pl | coq-doc-8.16.1-1.mga9.noarch.rpm | Mageia Cauldron | 4218007 |
| ftp.icm.edu.pl | coq-doc-8.16.1-1.mga9.noarch.rpm | Mageia Cauldron | 4218007 |
| ftp.icm.edu.pl | coq-doc-8.16.1-1.mga9.noarch.rpm | Mageia Cauldron | 4218007 |
