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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq_8.0pl2-2_amd64.deb  30-Apr-2005 11:54  6.2M  
 coqide_8.0pl2-2_amd6..> 30-Apr-2005 11:54  4.1M  
 coq7-libs_8.0pl2-2_a..> 31-Mar-2005 22:17  3.6M  
 coq-libs_8.0pl2-2_al..> 30-Apr-2005 11:54  3.6M  
 coq_8.0pl2.orig.tar.gz  30-Apr-2005 11:54  2.2M  
 coq_8.0pl2-2.diff.gz    30-Apr-2005 11:54   11K  
 coq_8.0pl2-2.dsc        30-Apr-2005 11:54  919