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

 Name                                                       Last modified      Size  Description
 Parent Directory                                                                -   
 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb               2013-03-16 17:22  519K  
 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb            2013-03-16 17:22  2.0M  
 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb             2013-03-16 17:22  518K  
 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb               2013-03-16 17:22  519K  
 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb      2013-03-16 17:22  1.8M  
 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb     2013-03-16 17:22  2.0M  
 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb               2013-03-16 17:22  523K  
 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb               2013-03-16 17:22  1.8M  
 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb              2013-03-16 17:22  522K  
 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb              2013-03-16 17:22  2.0M  
 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb           2013-03-16 17:22  2.4M  
 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb        2013-03-16 17:22  6.4M  
 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb         2013-03-16 17:22  2.4M  
 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb           2013-03-16 17:22  2.4M  
 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb  2013-03-16 17:22  5.4M  
 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 2013-03-16 17:22  5.6M  
 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb           2013-03-16 17:22  2.4M  
 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb           2013-03-16 17:22  5.5M  
 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb          2013-03-16 17:22  2.4M  
 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb          2013-03-16 17:22  5.6M  
 coq_8.3.pl3+dfsg.orig.tar.gz                               2013-03-16 17:22  3.0M  
 coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb                        2013-03-16 17:22  1.7M  
 coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb                     2013-03-16 17:22  5.2M  
 coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb                      2013-03-16 17:22  1.7M  
 coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb                        2013-03-16 17:22  1.7M  
 coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb               2013-03-16 17:22  4.7M  
 coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb              2013-03-16 17:22  5.3M  
 coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb                        2013-03-16 17:22  1.7M  
 coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb                        2013-03-16 17:22  4.7M  
 coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb                       2013-03-16 17:22  1.7M  
 coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb                       2013-03-16 17:22  5.3M  
 coq_8.3.pl3+dfsg-1~bpo60+1.dsc                             2013-03-16 17:22  2.2K  
 coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz                   2013-03-16 17:22   16K  
 coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb                     2013-03-16 17:22  2.4M  
 coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb                  2013-03-16 17:22  5.3M  
 coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb                   2013-03-16 17:22  2.4M  
 coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb                     2013-03-16 17:22  2.4M  
 coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb            2013-03-16 17:22  4.9M  
 coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb           2013-03-16 17:22  5.3M  
 coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb                     2013-03-16 17:22  2.4M  
 coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb                     2013-03-16 17:22  4.9M  
 coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb                    2013-03-16 17:22  2.4M  
 coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb                    2013-03-16 17:22  5.3M  
 coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb                2013-03-16 17:22   52M