Index of /debian/pool/main/c/coq

Icon  Name                                                Last modified      Size  Description
[DIR] Parent Directory                                                         -   
[   ] coq-libs_8.1.pl3+dfsg-1_all.deb                     05-Jan-2008 17:32   12M  
[   ] coq_8.1.pl3+dfsg-1.diff.gz                          05-Jan-2008 17:32   15K  
[TXT] coq_8.1.pl3+dfsg-1.dsc                              05-Jan-2008 17:32  1.0K  
[   ] coq_8.1.pl3+dfsg.orig.tar.gz                        05-Jan-2008 17:32  2.4M  
[   ] coq_8.1.pl3+dfsg-1+b2_amd64.deb                     24-May-2008 00:17  8.6M  
[   ] coqide_8.1.pl3+dfsg-1+b2_amd64.deb                  24-May-2008 00:17  5.0M  
[   ] coq_8.1.pl3+dfsg-1+b2_sparc.deb                     24-May-2008 17:02  9.0M  
[   ] coqide_8.1.pl3+dfsg-1+b2_sparc.deb                  24-May-2008 17:02  5.3M  
[   ] coq_8.1.pl3+dfsg-1+b2_alpha.deb                     25-May-2008 02:02  4.1M  
[   ] coqide_8.1.pl3+dfsg-1+b2_alpha.deb                  25-May-2008 02:02  2.4M  
[   ] coq_8.1.pl3+dfsg-1+b2_mipsel.deb                    25-May-2008 02:02  4.0M  
[   ] coqide_8.1.pl3+dfsg-1+b2_mipsel.deb                 25-May-2008 02:02  2.3M  
[   ] coq_8.1.pl3+dfsg-1+b2_armel.deb                     25-May-2008 07:17  4.0M  
[   ] coqide_8.1.pl3+dfsg-1+b2_armel.deb                  25-May-2008 07:17  2.3M  
[   ] coq_8.1.pl3+dfsg-1+b2_arm.deb                       25-May-2008 17:02  4.0M  
[   ] coqide_8.1.pl3+dfsg-1+b2_arm.deb                    25-May-2008 17:02  2.3M  
[   ] coq_8.1.pl3+dfsg-1+b2_s390.deb                      26-May-2008 02:47  4.1M  
[   ] coqide_8.1.pl3+dfsg-1+b2_s390.deb                   26-May-2008 02:47  2.4M  
[   ] coq_8.1.pl3+dfsg-1+b2_i386.deb                      26-May-2008 22:17  8.1M  
[   ] coqide_8.1.pl3+dfsg-1+b2_i386.deb                   26-May-2008 22:17  4.7M  
[   ] coq_8.1.pl3+dfsg-1+b2_ia64.deb                      27-May-2008 20:32  4.3M  
[   ] coqide_8.1.pl3+dfsg-1+b2_ia64.deb                   27-May-2008 20:32  2.4M  
[   ] coqide_8.1.pl3+dfsg-1+b2_mips.deb                   28-May-2008 00:17  2.3M  
[   ] coq_8.1.pl3+dfsg-1+b2_mips.deb                      28-May-2008 00:17  4.0M  
[   ] coq_8.1.pl3+dfsg-1+b2_powerpc.deb                   29-May-2008 01:47  9.0M  
[   ] coqide_8.1.pl3+dfsg-1+b2_powerpc.deb                29-May-2008 01:47  5.2M  
[   ] coq_8.1.pl3+dfsg-1+b2_hppa.deb                      29-May-2008 20:32  4.1M  
[   ] coqide_8.1.pl3+dfsg-1+b2_hppa.deb                   29-May-2008 20:32  2.3M  
[   ] coq_8.2.pl2+dfsg-1.debian.tar.gz                    02-Jul-2010 23:19   16K  
[TXT] coq_8.2.pl2+dfsg-1.dsc                              02-Jul-2010 23:19  2.1K  
[   ] coq_8.2.pl2+dfsg-1_amd64.deb                        02-Jul-2010 23:19   15M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb           02-Jul-2010 23:19  5.8M  
[   ] coq-theories_8.2.pl2+dfsg-1_all.deb                 02-Jul-2010 23:19   18M  
[   ] coq_8.2.pl2+dfsg.orig.tar.gz                        02-Jul-2010 23:19  3.0M  
[   ] coqide_8.2.pl2+dfsg-1_amd64.deb                     02-Jul-2010 23:19  6.2M  
[   ] coq_8.2.pl2+dfsg-1_i386.deb                         03-Jul-2010 01:03   13M  
[   ] coqide_8.2.pl2+dfsg-1_i386.deb                      03-Jul-2010 01:03  5.7M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb            03-Jul-2010 01:03  5.7M  
[   ] coq_8.2.pl2+dfsg-1_mipsel.deb                       03-Jul-2010 14:32  3.5M  
[   ] coqide_8.2.pl2+dfsg-1_mipsel.deb                    03-Jul-2010 14:32  2.3M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb          03-Jul-2010 14:32  1.9M  
[   ] coq_8.2.pl2+dfsg-1_powerpc.deb                      04-Jul-2010 00:42   15M  
[   ] coqide_8.2.pl2+dfsg-1_powerpc.deb                   04-Jul-2010 00:42  6.3M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb         04-Jul-2010 00:42  6.7M  
[   ] coq_8.2.pl2+dfsg-1_s390.deb                         04-Jul-2010 00:42  3.5M  
[   ] coqide_8.2.pl2+dfsg-1_s390.deb                      04-Jul-2010 00:42  2.3M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb            04-Jul-2010 00:42  1.9M  
[   ] coq_8.2.pl2+dfsg-1_armel.deb                        04-Jul-2010 04:17  3.5M  
[   ] coqide_8.2.pl2+dfsg-1_armel.deb                     04-Jul-2010 04:17  2.3M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb           04-Jul-2010 04:17  1.9M  
[   ] coq_8.2.pl2+dfsg-1_ia64.deb                         04-Jul-2010 04:47  3.5M  
[   ] coqide_8.2.pl2+dfsg-1_ia64.deb                      04-Jul-2010 04:47  2.3M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb            04-Jul-2010 04:47  1.9M  
[   ] coq_8.2.pl2+dfsg-1_mips.deb                         04-Jul-2010 20:48  3.5M  
[   ] coqide_8.2.pl2+dfsg-1_mips.deb                      04-Jul-2010 20:48  2.3M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb            04-Jul-2010 20:48  1.9M  
[   ] coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb                04-Jul-2010 21:18   13M  
[   ] coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb             04-Jul-2010 21:18  5.7M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb   04-Jul-2010 21:18  5.6M  
[   ] coq_8.2.pl2+dfsg-1_sparc.deb                        04-Jul-2010 21:18   15M  
[   ] coqide_8.2.pl2+dfsg-1_sparc.deb                     04-Jul-2010 21:18  6.3M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb           04-Jul-2010 21:18  6.4M  
[   ] coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb               04-Jul-2010 21:48   15M  
[   ] coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb            04-Jul-2010 21:48  6.2M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb  04-Jul-2010 21:48  5.8M  
[   ] coq_8.3.pl2+dfsg-1.debian.tar.gz                    20-Apr-2011 01:32   16K  
[TXT] coq_8.3.pl2+dfsg-1.dsc                              20-Apr-2011 01:32  2.1K  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1_amd64.deb               20-Apr-2011 01:32  2.0M  
[   ] coq-theories_8.3.pl2+dfsg-1_all.deb                 20-Apr-2011 01:32   51M  
[   ] coq_8.3.pl2+dfsg-1_amd64.deb                        20-Apr-2011 01:32  5.4M  
[   ] coq_8.3.pl2+dfsg.orig.tar.gz                        20-Apr-2011 01:32  3.0M  
[   ] coqide_8.3.pl2+dfsg-1_amd64.deb                     20-Apr-2011 01:32  5.3M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_amd64.deb           20-Apr-2011 01:32  5.6M  
[   ] coq_8.3.pl2+dfsg-1_powerpc.deb                      20-Apr-2011 02:49  5.3M  
[   ] coqide_8.3.pl2+dfsg-1_powerpc.deb                   20-Apr-2011 02:49  5.4M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_powerpc.deb         20-Apr-2011 02:49  6.4M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1_powerpc.deb             20-Apr-2011 02:49  2.0M  
[   ] coq_8.3.pl2+dfsg-1_i386.deb                         20-Apr-2011 03:02  4.7M  
[   ] coqide_8.3.pl2+dfsg-1_i386.deb                      20-Apr-2011 03:02  4.9M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_i386.deb            20-Apr-2011 03:02  5.5M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1_i386.deb                20-Apr-2011 03:02  1.8M  
[   ] coq_8.3.pl2+dfsg-1_s390.deb                         20-Apr-2011 04:47  1.7M  
[   ] coqide_8.3.pl2+dfsg-1_s390.deb                      20-Apr-2011 04:47  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_s390.deb            20-Apr-2011 04:47  2.4M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1_s390.deb                20-Apr-2011 04:47  517K  
[   ] coq_8.3.pl2+dfsg-1_kfreebsd-i386.deb                20-Apr-2011 05:47  4.7M  
[   ] coqide_8.3.pl2+dfsg-1_kfreebsd-i386.deb             20-Apr-2011 05:47  4.9M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_kfreebsd-i386.deb   20-Apr-2011 05:47  5.5M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1_kfreebsd-i386.deb       20-Apr-2011 05:47  1.8M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1_kfreebsd-amd64.deb      20-Apr-2011 06:02  2.0M  
[   ] coq_8.3.pl2+dfsg-1_kfreebsd-amd64.deb               20-Apr-2011 06:02  5.4M  
[   ] coqide_8.3.pl2+dfsg-1_kfreebsd-amd64.deb            20-Apr-2011 06:02  5.3M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_kfreebsd-amd64.deb  20-Apr-2011 06:02  5.6M  
[   ] coq_8.3.pl2+dfsg-1_sparc.deb                        20-Apr-2011 11:02  5.3M  
[   ] coqide_8.3.pl2+dfsg-1_sparc.deb                     20-Apr-2011 11:02  5.4M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_sparc.deb           20-Apr-2011 11:02  6.1M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1_sparc.deb               20-Apr-2011 11:02  2.1M  
[   ] coq_8.3.pl2+dfsg-1_mips.deb                         20-Apr-2011 12:02  1.7M  
[   ] coqide_8.3.pl2+dfsg-1_mips.deb                      20-Apr-2011 12:02  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_mips.deb            20-Apr-2011 12:02  2.4M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1_mips.deb                20-Apr-2011 12:02  517K  
[   ] coq_8.3.pl2+dfsg-1_armel.deb                        20-Apr-2011 13:32  5.8M  
[   ] coqide_8.3.pl2+dfsg-1_armel.deb                     20-Apr-2011 13:32  5.8M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_armel.deb           20-Apr-2011 13:32  7.2M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1_armel.deb               20-Apr-2011 13:32  520K  
[   ] coq_8.3.pl2+dfsg-1_ia64.deb                         20-Apr-2011 15:02  1.7M  
[   ] coqide_8.3.pl2+dfsg-1_ia64.deb                      20-Apr-2011 15:02  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_ia64.deb            20-Apr-2011 15:02  2.4M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1_ia64.deb                20-Apr-2011 15:02  520K  
[   ] coq_8.3.pl2+dfsg-1_mipsel.deb                       23-Apr-2011 16:49  1.7M  
[   ] coqide_8.3.pl2+dfsg-1_mipsel.deb                    23-Apr-2011 16:49  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_mipsel.deb          23-Apr-2011 16:49  2.4M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1_mipsel.deb              23-Apr-2011 16:49  516K  
[   ] coq_8.3.pl2+dfsg-1_hurd-i386.deb                    28-Apr-2011 17:17  4.7M  
[   ] coqide_8.3.pl2+dfsg-1_hurd-i386.deb                 28-Apr-2011 17:17  4.9M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_hurd-i386.deb       28-Apr-2011 17:17  5.5M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1_hurd-i386.deb           28-Apr-2011 17:17  1.8M  
[   ] coq-theories_8.3.pl2+dfsg-2_all.deb                 03-Nov-2011 06:32   51M  
[   ] coq_8.3.pl2+dfsg-2.debian.tar.gz                    03-Nov-2011 06:32   16K  
[TXT] coq_8.3.pl2+dfsg-2.dsc                              03-Nov-2011 06:32  2.3K  
[   ] coq_8.3.pl2+dfsg-2_amd64.deb                        03-Nov-2011 06:32  5.4M  
[   ] coqide_8.3.pl2+dfsg-2_amd64.deb                     03-Nov-2011 06:32  5.3M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_amd64.deb           03-Nov-2011 06:32  5.6M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_amd64.deb               03-Nov-2011 06:32  2.0M  
[   ] coq_8.3.pl2+dfsg-2_i386.deb                         03-Nov-2011 07:33  4.8M  
[   ] coqide_8.3.pl2+dfsg-2_i386.deb                      03-Nov-2011 07:33  5.0M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_i386.deb            03-Nov-2011 07:33  5.5M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_i386.deb                03-Nov-2011 07:33  1.8M  
[   ] coq_8.3.pl2+dfsg-2_kfreebsd-i386.deb                03-Nov-2011 08:17  4.8M  
[   ] coqide_8.3.pl2+dfsg-2_kfreebsd-i386.deb             03-Nov-2011 08:17  5.0M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_kfreebsd-i386.deb   03-Nov-2011 08:17  5.5M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_kfreebsd-i386.deb       03-Nov-2011 08:17  1.8M  
[   ] coq_8.3.pl2+dfsg-2_s390.deb                         03-Nov-2011 08:47  1.7M  
[   ] coqide_8.3.pl2+dfsg-2_s390.deb                      03-Nov-2011 08:47  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_s390.deb            03-Nov-2011 08:47  2.4M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_s390.deb                03-Nov-2011 08:47  517K  
[   ] coq_8.3.pl2+dfsg-2_sparc.deb                        03-Nov-2011 09:32  5.2M  
[   ] coqide_8.3.pl2+dfsg-2_sparc.deb                     03-Nov-2011 09:32  5.2M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_sparc.deb           03-Nov-2011 09:32  6.1M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_sparc.deb               03-Nov-2011 09:32  2.0M  
[   ] coq_8.3.pl2+dfsg-2_kfreebsd-amd64.deb               03-Nov-2011 11:03  5.4M  
[   ] coqide_8.3.pl2+dfsg-2_kfreebsd-amd64.deb            03-Nov-2011 11:03  5.3M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_kfreebsd-amd64.deb  03-Nov-2011 11:03  5.6M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_kfreebsd-amd64.deb      03-Nov-2011 11:03  2.0M  
[   ] coq_8.3.pl2+dfsg-2_mipsel.deb                       03-Nov-2011 14:47  1.7M  
[   ] coqide_8.3.pl2+dfsg-2_mipsel.deb                    03-Nov-2011 14:47  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_mipsel.deb          03-Nov-2011 14:47  2.4M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_mipsel.deb              03-Nov-2011 14:47  517K  
[   ] coq_8.3.pl2+dfsg-2_mips.deb                         03-Nov-2011 18:17  1.7M  
[   ] coqide_8.3.pl2+dfsg-2_mips.deb                      03-Nov-2011 18:17  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_mips.deb            03-Nov-2011 18:17  2.4M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_mips.deb                03-Nov-2011 18:17  518K  
[   ] coq_8.3.pl2+dfsg-2_ia64.deb                         03-Nov-2011 20:47  1.7M  
[   ] coqide_8.3.pl2+dfsg-2_ia64.deb                      03-Nov-2011 20:47  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_ia64.deb            03-Nov-2011 20:47  2.4M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_ia64.deb                03-Nov-2011 20:47  520K  
[   ] coq_8.3.pl2+dfsg-2_powerpc.deb                      04-Nov-2011 00:47  5.3M  
[   ] coqide_8.3.pl2+dfsg-2_powerpc.deb                   04-Nov-2011 00:47  5.4M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_powerpc.deb         04-Nov-2011 00:47  6.4M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_powerpc.deb             04-Nov-2011 00:47  2.0M  
[   ] coq_8.3.pl2+dfsg-2_armel.deb                        04-Nov-2011 02:18  5.8M  
[   ] coqide_8.3.pl2+dfsg-2_armel.deb                     04-Nov-2011 02:18  5.8M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_armel.deb           04-Nov-2011 02:18  7.2M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_armel.deb               04-Nov-2011 02:18  518K  
[   ] coq_8.3.pl2+dfsg-2_hurd-i386.deb                    05-Nov-2011 08:17  4.8M  
[   ] coqide_8.3.pl2+dfsg-2_hurd-i386.deb                 05-Nov-2011 08:17  5.0M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_hurd-i386.deb       05-Nov-2011 08:17  5.5M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_hurd-i386.deb           05-Nov-2011 08:17  1.8M  
[   ] coq_8.3.pl2+dfsg-2_armhf.deb                        17-Dec-2011 01:32  1.7M  
[   ] coqide_8.3.pl2+dfsg-2_armhf.deb                     17-Dec-2011 01:32  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_armhf.deb           17-Dec-2011 01:32  2.4M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-2_armhf.deb               17-Dec-2011 01:32  518K  
[   ] coq-theories_8.3.pl3+dfsg-1_all.deb                 25-Dec-2011 21:32   52M  
[   ] coq_8.3.pl3+dfsg-1.debian.tar.gz                    25-Dec-2011 21:32   16K  
[TXT] coq_8.3.pl3+dfsg-1.dsc                              25-Dec-2011 21:32  2.3K  
[   ] coq_8.3.pl3+dfsg-1_amd64.deb                        25-Dec-2011 21:32  5.4M  
[   ] coq_8.3.pl3+dfsg.orig.tar.gz                        25-Dec-2011 21:32  3.0M  
[   ] coqide_8.3.pl3+dfsg-1_amd64.deb                     25-Dec-2011 21:32  5.3M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_amd64.deb           25-Dec-2011 21:32  5.6M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_amd64.deb               25-Dec-2011 21:32  2.0M  
[   ] coqide_8.3.pl3+dfsg-1_i386.deb                      25-Dec-2011 22:47  5.0M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_i386.deb                25-Dec-2011 22:47  1.8M  
[   ] coq_8.3.pl3+dfsg-1_i386.deb                         25-Dec-2011 22:47  4.8M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_i386.deb            25-Dec-2011 22:47  5.5M  
[   ] coq_8.3.pl3+dfsg-1_kfreebsd-i386.deb                25-Dec-2011 23:02  4.8M  
[   ] coqide_8.3.pl3+dfsg-1_kfreebsd-i386.deb             25-Dec-2011 23:02  5.0M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_kfreebsd-i386.deb   25-Dec-2011 23:02  5.5M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_kfreebsd-i386.deb       25-Dec-2011 23:02  1.8M  
[   ] coq_8.3.pl3+dfsg-1_s390.deb                         25-Dec-2011 23:02  1.7M  
[   ] coqide_8.3.pl3+dfsg-1_s390.deb                      25-Dec-2011 23:02  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_s390.deb            25-Dec-2011 23:02  2.4M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_s390.deb                25-Dec-2011 23:02  519K  
[   ] coq_8.3.pl3+dfsg-1_kfreebsd-amd64.deb               25-Dec-2011 23:17  5.4M  
[   ] coqide_8.3.pl3+dfsg-1_kfreebsd-amd64.deb            25-Dec-2011 23:17  5.3M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_kfreebsd-amd64.deb  25-Dec-2011 23:17  5.6M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_kfreebsd-amd64.deb      25-Dec-2011 23:17  2.0M  
[   ] coq_8.3.pl3+dfsg-1_armel.deb                        26-Dec-2011 00:47  5.8M  
[   ] coqide_8.3.pl3+dfsg-1_armel.deb                     26-Dec-2011 00:47  5.8M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_armel.deb           26-Dec-2011 00:47  7.2M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_armel.deb               26-Dec-2011 00:47  523K  
[   ] coq_8.3.pl3+dfsg-1_ia64.deb                         26-Dec-2011 01:17  1.7M  
[   ] coqide_8.3.pl3+dfsg-1_ia64.deb                      26-Dec-2011 01:17  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_ia64.deb            26-Dec-2011 01:17  2.4M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_ia64.deb                26-Dec-2011 01:17  525K  
[   ] coq_8.3.pl3+dfsg-1_sparc.deb                        26-Dec-2011 01:47  5.2M  
[   ] coqide_8.3.pl3+dfsg-1_sparc.deb                     26-Dec-2011 01:47  5.2M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_sparc.deb           26-Dec-2011 01:47  6.1M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_sparc.deb               26-Dec-2011 01:47  2.0M  
[   ] coq_8.3.pl3+dfsg-1_armhf.deb                        26-Dec-2011 05:02  1.7M  
[   ] coqide_8.3.pl3+dfsg-1_armhf.deb                     26-Dec-2011 05:02  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_armhf.deb           26-Dec-2011 05:02  2.4M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_armhf.deb               26-Dec-2011 05:02  524K  
[   ] coq_8.3.pl3+dfsg-1_mipsel.deb                       26-Dec-2011 05:02  1.7M  
[   ] coqide_8.3.pl3+dfsg-1_mipsel.deb                    26-Dec-2011 05:02  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_mipsel.deb          26-Dec-2011 05:02  2.4M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_mipsel.deb              26-Dec-2011 05:02  518K  
[   ] coq_8.3.pl3+dfsg-1_powerpc.deb                      26-Dec-2011 06:17  5.3M  
[   ] coqide_8.3.pl3+dfsg-1_powerpc.deb                   26-Dec-2011 06:17  5.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_powerpc.deb         26-Dec-2011 06:17  6.4M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_powerpc.deb             26-Dec-2011 06:17  2.0M  
[   ] coq_8.3.pl3+dfsg-1_mips.deb                         26-Dec-2011 09:02  1.7M  
[   ] coqide_8.3.pl3+dfsg-1_mips.deb                      26-Dec-2011 09:02  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_mips.deb            26-Dec-2011 09:02  2.4M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_mips.deb                26-Dec-2011 09:02  519K  
[   ] coq_8.3.pl3+dfsg-1_hurd-i386.deb                    26-Dec-2011 19:47  4.8M  
[   ] coqide_8.3.pl3+dfsg-1_hurd-i386.deb                 26-Dec-2011 19:47  5.0M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_hurd-i386.deb       26-Dec-2011 19:47  5.5M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-1_hurd-i386.deb           26-Dec-2011 19:47  1.8M  
[   ] coq_8.4~beta+dfsg.orig.tar.gz                       13-Jan-2012 03:02  3.2M  
[   ] coq-theories_8.4~beta+dfsg-3_all.deb                15-Jan-2012 20:48   62M  
[   ] coq_8.4~beta+dfsg-3.debian.tar.gz                   15-Jan-2012 20:48   17K  
[TXT] coq_8.4~beta+dfsg-3.dsc                             15-Jan-2012 20:48  2.3K  
[   ] coq_8.4~beta+dfsg-3_amd64.deb                       15-Jan-2012 20:48  5.7M  
[   ] coqide_8.4~beta+dfsg-3_amd64.deb                    15-Jan-2012 20:48  1.0M  
[   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_amd64.deb          15-Jan-2012 20:48  5.4M  
[   ] libcoq-ocaml_8.4~beta+dfsg-3_amd64.deb              15-Jan-2012 20:48  2.2M  
[   ] coq_8.4~beta+dfsg-3_i386.deb                        15-Jan-2012 22:47  5.1M  
[   ] coqide_8.4~beta+dfsg-3_i386.deb                     15-Jan-2012 22:47  811K  
[   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_i386.deb           15-Jan-2012 22:47  5.3M  
[   ] libcoq-ocaml_8.4~beta+dfsg-3_i386.deb               15-Jan-2012 22:47  1.9M  
[   ] coq_8.4~beta+dfsg-3_powerpc.deb                     15-Jan-2012 22:47  5.6M  
[   ] coqide_8.4~beta+dfsg-3_powerpc.deb                  15-Jan-2012 22:47  915K  
[   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_powerpc.deb        15-Jan-2012 22:47  6.2M  
[   ] libcoq-ocaml_8.4~beta+dfsg-3_powerpc.deb            15-Jan-2012 22:47  2.2M  
[   ] coq_8.4~beta+dfsg-3_s390.deb                        15-Jan-2012 23:48  1.8M  
[   ] coqide_8.4~beta+dfsg-3_s390.deb                     15-Jan-2012 23:48  318K  
[   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_s390.deb           15-Jan-2012 23:48  2.1M  
[   ] libcoq-ocaml_8.4~beta+dfsg-3_s390.deb               15-Jan-2012 23:48  569K  
[   ] coq_8.4~beta+dfsg-3_sparc.deb                       16-Jan-2012 00:02  5.4M  
[   ] coqide_8.4~beta+dfsg-3_sparc.deb                    16-Jan-2012 00:02  904K  
[   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_sparc.deb          16-Jan-2012 00:02  5.9M  
[   ] libcoq-ocaml_8.4~beta+dfsg-3_sparc.deb              16-Jan-2012 00:02  2.2M  
[   ] coq_8.4~beta+dfsg-3_armel.deb                       16-Jan-2012 02:02  6.2M  
[   ] coqide_8.4~beta+dfsg-3_armel.deb                    16-Jan-2012 02:02  912K  
[   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_armel.deb          16-Jan-2012 02:02  7.2M  
[   ] libcoq-ocaml_8.4~beta+dfsg-3_armel.deb              16-Jan-2012 02:02  569K  
[   ] coq_8.4~beta+dfsg-3_kfreebsd-amd64.deb              16-Jan-2012 02:47  5.7M  
[   ] coqide_8.4~beta+dfsg-3_kfreebsd-amd64.deb           16-Jan-2012 02:47  1.0M  
[   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_kfreebsd-amd64.deb 16-Jan-2012 02:47  5.4M  
[   ] libcoq-ocaml_8.4~beta+dfsg-3_kfreebsd-amd64.deb     16-Jan-2012 02:47  2.2M  
[   ] coq_8.4~beta+dfsg-3_kfreebsd-i386.deb               16-Jan-2012 02:47  5.0M  
[   ] coqide_8.4~beta+dfsg-3_kfreebsd-i386.deb            16-Jan-2012 02:47  812K  
[   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_kfreebsd-i386.deb  16-Jan-2012 02:47  5.3M  
[   ] libcoq-ocaml_8.4~beta+dfsg-3_kfreebsd-i386.deb      16-Jan-2012 02:47  2.0M  
[   ] coq_8.4~beta+dfsg-3_ia64.deb                        16-Jan-2012 03:47  1.8M  
[   ] coqide_8.4~beta+dfsg-3_ia64.deb                     16-Jan-2012 03:47  318K  
[   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_ia64.deb           16-Jan-2012 03:47  2.0M  
[   ] libcoq-ocaml_8.4~beta+dfsg-3_ia64.deb               16-Jan-2012 03:47  571K  
[   ] coq_8.4~beta+dfsg-3_mipsel.deb                      16-Jan-2012 06:04  1.8M  
[   ] coqide_8.4~beta+dfsg-3_mipsel.deb                   16-Jan-2012 06:04  318K  
[   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_mipsel.deb         16-Jan-2012 06:04  2.1M  
[   ] libcoq-ocaml_8.4~beta+dfsg-3_mipsel.deb             16-Jan-2012 06:04  566K  
[   ] coq_8.4~beta+dfsg-3_mips.deb                        16-Jan-2012 18:47  1.8M  
[   ] coqide_8.4~beta+dfsg-3_mips.deb                     16-Jan-2012 18:47  317K  
[   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_mips.deb           16-Jan-2012 18:47  2.0M  
[   ] libcoq-ocaml_8.4~beta+dfsg-3_mips.deb               16-Jan-2012 18:47  567K  
[   ] coq_8.4~beta+dfsg-3_armhf.deb                       22-Jan-2012 17:02  1.8M  
[   ] coqide_8.4~beta+dfsg-3_armhf.deb                    22-Jan-2012 17:02  317K  
[   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_armhf.deb          22-Jan-2012 17:02  2.1M  
[   ] libcoq-ocaml_8.4~beta+dfsg-3_armhf.deb              22-Jan-2012 17:02  567K  
[   ] coq-theories_8.3.pl3+dfsg-2_all.deb                 05-Mar-2012 03:02   52M  
[   ] coq_8.3.pl3+dfsg-2.debian.tar.gz                    05-Mar-2012 03:02   16K  
[TXT] coq_8.3.pl3+dfsg-2.dsc                              05-Mar-2012 03:02  2.3K  
[   ] coq_8.3.pl3+dfsg-2_amd64.deb                        05-Mar-2012 03:02  5.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_amd64.deb           05-Mar-2012 03:02  5.6M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_amd64.deb               05-Mar-2012 03:02  2.0M  
[   ] coqide_8.3.pl3+dfsg-2_amd64.deb                     05-Mar-2012 03:02  5.4M  
[   ] coq_8.3.pl3+dfsg-2_i386.deb                         05-Mar-2012 04:47  4.8M  
[   ] coqide_8.3.pl3+dfsg-2_i386.deb                      05-Mar-2012 04:47  5.0M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_i386.deb            05-Mar-2012 04:47  5.5M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_i386.deb                05-Mar-2012 04:47  1.8M  
[   ] coq_8.3.pl3+dfsg-2_kfreebsd-i386.deb                05-Mar-2012 04:47  4.8M  
[   ] coqide_8.3.pl3+dfsg-2_kfreebsd-i386.deb             05-Mar-2012 04:47  5.0M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_kfreebsd-i386.deb   05-Mar-2012 04:47  5.5M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_kfreebsd-i386.deb       05-Mar-2012 04:47  1.8M  
[   ] coq_8.3.pl3+dfsg-2_powerpc.deb                      05-Mar-2012 04:47  5.3M  
[   ] coqide_8.3.pl3+dfsg-2_powerpc.deb                   05-Mar-2012 04:47  5.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_powerpc.deb         05-Mar-2012 04:47  6.4M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_powerpc.deb             05-Mar-2012 04:47  2.0M  
[   ] coq_8.3.pl3+dfsg-2_sparc.deb                        05-Mar-2012 05:17  5.2M  
[   ] coqide_8.3.pl3+dfsg-2_sparc.deb                     05-Mar-2012 05:17  5.2M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_sparc.deb           05-Mar-2012 05:17  6.1M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_sparc.deb               05-Mar-2012 05:17  2.0M  
[   ] coq_8.3.pl3+dfsg-2_armel.deb                        05-Mar-2012 06:32  5.8M  
[   ] coqide_8.3.pl3+dfsg-2_armel.deb                     05-Mar-2012 06:32  5.9M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_armel.deb           05-Mar-2012 06:32  7.2M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_armel.deb               05-Mar-2012 06:32  521K  
[   ] coq_8.3.pl3+dfsg-2_s390.deb                         05-Mar-2012 07:47  1.7M  
[   ] coqide_8.3.pl3+dfsg-2_s390.deb                      05-Mar-2012 07:47  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_s390.deb            05-Mar-2012 07:47  2.4M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_s390.deb                05-Mar-2012 07:47  522K  
[   ] coq_8.3.pl3+dfsg-2_kfreebsd-amd64.deb               05-Mar-2012 09:02  5.4M  
[   ] coqide_8.3.pl3+dfsg-2_kfreebsd-amd64.deb            05-Mar-2012 09:02  5.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_kfreebsd-amd64.deb  05-Mar-2012 09:02  5.6M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_kfreebsd-amd64.deb      05-Mar-2012 09:02  2.0M  
[   ] coq_8.3.pl3+dfsg-2_mipsel.deb                       05-Mar-2012 09:47  1.7M  
[   ] coqide_8.3.pl3+dfsg-2_mipsel.deb                    05-Mar-2012 09:47  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_mipsel.deb          05-Mar-2012 09:47  2.4M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_mipsel.deb              05-Mar-2012 09:47  519K  
[   ] coq_8.3.pl3+dfsg-2_mips.deb                         05-Mar-2012 17:03  1.7M  
[   ] coqide_8.3.pl3+dfsg-2_mips.deb                      05-Mar-2012 17:03  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_mips.deb            05-Mar-2012 17:03  2.4M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_mips.deb                05-Mar-2012 17:03  521K  
[   ] coq_8.3.pl3+dfsg-2_hurd-i386.deb                    05-Mar-2012 17:48  4.8M  
[   ] coqide_8.3.pl3+dfsg-2_hurd-i386.deb                 05-Mar-2012 17:48  5.0M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_hurd-i386.deb       05-Mar-2012 17:48  5.5M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_hurd-i386.deb           05-Mar-2012 17:48  1.8M  
[   ] coq_8.3.pl3+dfsg-2_armhf.deb                        06-Mar-2012 10:52  1.7M  
[   ] coqide_8.3.pl3+dfsg-2_armhf.deb                     06-Mar-2012 10:52  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_armhf.deb           06-Mar-2012 10:52  2.4M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_armhf.deb               06-Mar-2012 10:52  521K  
[   ] coq_8.3.pl3+dfsg-2_ia64.deb                         06-Mar-2012 15:32  1.7M  
[   ] coqide_8.3.pl3+dfsg-2_ia64.deb                      06-Mar-2012 15:32  2.4M  
[   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_ia64.deb            06-Mar-2012 15:32  2.4M  
[   ] libcoq-ocaml_8.3.pl3+dfsg-2_ia64.deb                06-Mar-2012 15:32  523K
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80