Index of /ubuntu/7.04/pool/universe/c/coq

 Name                               Last modified      Size  Description
 Parent Directory                                        -   
 coq-libs_8.0pl3-2ubuntu1_all.deb   2007-03-23 10:03  3.6M  
 coq7-libs_8.0pl3-2ubuntu1_all.deb  2007-03-23 10:03  3.6M  
 coq_8.0pl2-4_hppa.deb              2005-12-09 18:25  7.0M  
 coq_8.0pl3-2ubuntu1.diff.gz        2007-03-23 08:03   16K  
 coq_8.0pl3-2ubuntu1.dsc            2007-03-23 08:03  1.1K  
 coq_8.0pl3-2ubuntu1_amd64.deb      2007-03-23 10:03  6.3M  
 coq_8.0pl3-2ubuntu1_i386.deb       2007-03-23 10:03  5.9M  
 coq_8.0pl3-2ubuntu1_ia64.deb       2007-03-23 10:03  3.0M  
 coq_8.0pl3-2ubuntu1_powerpc.deb    2007-03-23 10:03  6.7M  
 coq_8.0pl3-2ubuntu1_sparc.deb      2007-03-23 10:03  6.8M  
 coq_8.0pl3.orig.tar.gz             2006-06-15 13:59  2.2M  
 coqide_8.0pl2-4_hppa.deb           2005-12-09 18:25  4.6M  
 coqide_8.0pl3-2ubuntu1_amd64.deb   2007-03-23 10:03  3.5M  
 coqide_8.0pl3-2ubuntu1_i386.deb    2007-03-23 10:03  3.3M  
 coqide_8.0pl3-2ubuntu1_ia64.deb    2007-03-23 10:03  1.3M  
 coqide_8.0pl3-2ubuntu1_powerpc.deb 2007-03-23 10:03  3.8M  
 coqide_8.0pl3-2ubuntu1_sparc.deb   2007-03-23 10:03  3.8M