Index of /mirror/GuadaLinex/guadalinex/pool/main/c/coq

Icon  Name                                       Last modified      Size  Description
[PARENTDIR] Parent Directory                                                -   
[   ] coq_7.3.1.orig.tar.gz                      2004-05-13 14:22  1.2M  
[   ] coq_7.3.1-3_i386.deb                       2004-04-29 09:19  7.2M  
[TXT] coq_7.3.1-3.dsc                            2004-05-13 14:22  799   
[   ] coq_7.3.1-3.diff.gz                        2004-05-13 14:22  8.3K  
[   ] coq_7.3.1-2_i386.deb                       2004-03-17 12:08  7.2M