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

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