Index of /debian-archive/debian-amd64/pool/main/c/coq

Icon  Name                                      Last modified      Size  
[PARENTDIR] Parent Directory                                               -   
[   ] coq-libs_8.0pl2-2_all.deb                 2005-04-30 06:54  3.6M  
[   ] coq7-libs_8.0pl2-2_all.deb                2005-03-31 16:17  3.6M  
[   ] coq_8.0pl2-2.diff.gz                      2005-04-30 06:54   11K  
[TXT] coq_8.0pl2-2.dsc                          2005-04-30 06:54  919   
[   ] coq_8.0pl2-2_amd64.deb                    2005-04-30 06:54  6.2M  
[   ] coq_8.0pl2.orig.tar.gz                    2005-04-30 06:54  2.2M  
[   ] coqide_8.0pl2-2_amd64.deb                 2005-04-30 06:54  4.1M