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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]coq-libs_8.0pl3-2_all.deb19-Feb-2006 12:32 3.6M
[   ]coq-libs_8.1.pl3+dfsg-1_all.deb05-Jan-2008 09:32 12M
[   ]coq-theories_8.2.pl1+dfsg-3_all.deb29-Aug-2009 16:33 18M
[   ]coq7-libs_8.0pl3-2_all.deb19-Feb-2006 12:32 3.6M
[   ]coq_8.0pl3-2.diff.gz19-Feb-2006 12:32 16K
[   ]coq_8.0pl3-2.dsc19-Feb-2006 12:32 891
[   ]coq_8.0pl3-2_alpha.deb20-Feb-2006 17:02 2.9M
[   ]coq_8.0pl3-2_amd64.deb31-Mar-2006 15:02 6.2M
[   ]coq_8.0pl3-2_arm.deb20-Feb-2006 02:47 2.7M
[   ]coq_8.0pl3-2_hppa.deb19-Feb-2006 17:47 2.8M
[   ]coq_8.0pl3-2_i386.deb19-Feb-2006 12:32 5.8M
[   ]coq_8.0pl3-2_ia64.deb19-Feb-2006 17:47 3.0M
[   ]coq_8.0pl3-2_m68k.deb23-Feb-2006 18:02 2.6M
[   ]coq_8.0pl3-2_mips.deb20-Feb-2006 17:02 2.8M
[   ]coq_8.0pl3-2_mipsel.deb20-Feb-2006 17:02 2.8M
[   ]coq_8.0pl3-2_powerpc.deb20-Feb-2006 17:02 6.6M
[   ]coq_8.0pl3-2_s390.deb19-Feb-2006 21:47 2.8M
[   ]coq_8.0pl3-2_sparc.deb20-Feb-2006 02:47 6.7M
[   ]coq_8.0pl3.orig.tar.gz23-Jan-2006 22:02 2.2M
[   ]coq_8.1.pl3+dfsg-1+b2_alpha.deb24-May-2008 18:02 4.1M
[   ]coq_8.1.pl3+dfsg-1+b2_amd64.deb23-May-2008 16:17 8.6M
[   ]coq_8.1.pl3+dfsg-1+b2_arm.deb25-May-2008 09:02 4.0M
[   ]coq_8.1.pl3+dfsg-1+b2_armel.deb24-May-2008 23:17 4.0M
[   ]coq_8.1.pl3+dfsg-1+b2_hppa.deb29-May-2008 12:32 4.1M
[   ]coq_8.1.pl3+dfsg-1+b2_i386.deb26-May-2008 14:17 8.1M
[   ]coq_8.1.pl3+dfsg-1+b2_ia64.deb27-May-2008 12:32 4.3M
[   ]coq_8.1.pl3+dfsg-1+b2_mips.deb27-May-2008 16:17 4.0M
[   ]coq_8.1.pl3+dfsg-1+b2_mipsel.deb24-May-2008 18:02 4.0M
[   ]coq_8.1.pl3+dfsg-1+b2_powerpc.deb28-May-2008 17:47 9.0M
[   ]coq_8.1.pl3+dfsg-1+b2_s390.deb25-May-2008 18:47 4.1M
[   ]coq_8.1.pl3+dfsg-1+b2_sparc.deb24-May-2008 09:02 9.0M
[   ]coq_8.1.pl3+dfsg-1.diff.gz05-Jan-2008 09:32 15K
[   ]coq_8.1.pl3+dfsg-1.dsc05-Jan-2008 09:32 1.0K
[   ]coq_8.1.pl3+dfsg.orig.tar.gz05-Jan-2008 09:32 2.4M
[   ]coq_8.2.pl1+dfsg-3.diff.gz29-Aug-2009 16:33 15K
[   ]coq_8.2.pl1+dfsg-3.dsc29-Aug-2009 16:33 2.2K
[   ]coq_8.2.pl1+dfsg-3_alpha.deb30-Aug-2009 10:19 3.5M
[   ]coq_8.2.pl1+dfsg-3_amd64.deb29-Aug-2009 16:34 15M
[   ]coq_8.2.pl1+dfsg-3_armel.deb30-Aug-2009 16:54 3.5M
[   ]coq_8.2.pl1+dfsg-3_hppa.deb30-Aug-2009 11:47 3.5M
[   ]coq_8.2.pl1+dfsg-3_hurd-i386.deb05-Sep-2009 01:33 13M
[   ]coq_8.2.pl1+dfsg-3_i386.deb29-Aug-2009 18:02 13M
[   ]coq_8.2.pl1+dfsg-3_ia64.deb30-Aug-2009 13:33 3.5M
[   ]coq_8.2.pl1+dfsg-3_kfreebsd-amd64.deb29-Aug-2009 18:32 15M
[   ]coq_8.2.pl1+dfsg-3_kfreebsd-i386.deb29-Aug-2009 19:17 13M
[   ]coq_8.2.pl1+dfsg-3_mips.deb30-Aug-2009 09:47 3.5M
[   ]coq_8.2.pl1+dfsg-3_mipsel.deb31-Aug-2009 10:06 3.5M
[   ]coq_8.2.pl1+dfsg-3_powerpc.deb30-Aug-2009 16:54 15M
[   ]coq_8.2.pl1+dfsg-3_s390.deb30-Aug-2009 22:48 3.5M
[   ]coq_8.2.pl1+dfsg-3_sparc.deb31-Aug-2009 10:06 15M
[   ]coq_8.2.pl1+dfsg.orig.tar.gz04-Jul-2009 12:32 3.0M
[   ]coqide_8.0pl3-2_alpha.deb20-Feb-2006 17:02 1.3M
[   ]coqide_8.0pl3-2_amd64.deb31-Mar-2006 15:02 3.5M
[   ]coqide_8.0pl3-2_arm.deb20-Feb-2006 02:47 1.3M
[   ]coqide_8.0pl3-2_hppa.deb19-Feb-2006 17:47 1.3M
[   ]coqide_8.0pl3-2_i386.deb19-Feb-2006 12:32 3.3M
[   ]coqide_8.0pl3-2_ia64.deb19-Feb-2006 17:47 1.3M
[   ]coqide_8.0pl3-2_m68k.deb23-Feb-2006 18:02 1.3M
[   ]coqide_8.0pl3-2_mips.deb20-Feb-2006 17:02 1.3M
[   ]coqide_8.0pl3-2_mipsel.deb20-Feb-2006 17:02 1.3M
[   ]coqide_8.0pl3-2_powerpc.deb20-Feb-2006 17:02 3.7M
[   ]coqide_8.0pl3-2_s390.deb19-Feb-2006 21:47 1.3M
[   ]coqide_8.0pl3-2_sparc.deb20-Feb-2006 02:47 3.8M
[   ]coqide_8.1.pl3+dfsg-1+b2_alpha.deb24-May-2008 18:02 2.4M
[   ]coqide_8.1.pl3+dfsg-1+b2_amd64.deb23-May-2008 16:17 5.0M
[   ]coqide_8.1.pl3+dfsg-1+b2_arm.deb25-May-2008 09:02 2.3M
[   ]coqide_8.1.pl3+dfsg-1+b2_armel.deb24-May-2008 23:17 2.3M
[   ]coqide_8.1.pl3+dfsg-1+b2_hppa.deb29-May-2008 12:32 2.3M
[   ]coqide_8.1.pl3+dfsg-1+b2_i386.deb26-May-2008 14:17 4.7M
[   ]coqide_8.1.pl3+dfsg-1+b2_ia64.deb27-May-2008 12:32 2.4M
[   ]coqide_8.1.pl3+dfsg-1+b2_mips.deb27-May-2008 16:17 2.3M
[   ]coqide_8.1.pl3+dfsg-1+b2_mipsel.deb24-May-2008 18:02 2.3M
[   ]coqide_8.1.pl3+dfsg-1+b2_powerpc.deb28-May-2008 17:47 5.2M
[   ]coqide_8.1.pl3+dfsg-1+b2_s390.deb25-May-2008 18:47 2.4M
[   ]coqide_8.1.pl3+dfsg-1+b2_sparc.deb24-May-2008 09:02 5.3M
[   ]coqide_8.2.pl1+dfsg-3_alpha.deb30-Aug-2009 10:19 2.3M
[   ]coqide_8.2.pl1+dfsg-3_amd64.deb29-Aug-2009 16:33 6.2M
[   ]coqide_8.2.pl1+dfsg-3_armel.deb30-Aug-2009 16:53 2.3M
[   ]coqide_8.2.pl1+dfsg-3_hppa.deb30-Aug-2009 11:47 2.3M
[   ]coqide_8.2.pl1+dfsg-3_hurd-i386.deb05-Sep-2009 01:33 5.6M
[   ]coqide_8.2.pl1+dfsg-3_i386.deb29-Aug-2009 18:02 5.7M
[   ]coqide_8.2.pl1+dfsg-3_ia64.deb30-Aug-2009 13:33 2.3M
[   ]coqide_8.2.pl1+dfsg-3_kfreebsd-amd64.deb29-Aug-2009 18:32 6.2M
[   ]coqide_8.2.pl1+dfsg-3_kfreebsd-i386.deb29-Aug-2009 19:17 5.7M
[   ]coqide_8.2.pl1+dfsg-3_mips.deb30-Aug-2009 09:47 2.3M
[   ]coqide_8.2.pl1+dfsg-3_mipsel.deb31-Aug-2009 10:06 2.3M
[   ]coqide_8.2.pl1+dfsg-3_powerpc.deb30-Aug-2009 16:54 6.3M
[   ]coqide_8.2.pl1+dfsg-3_s390.deb30-Aug-2009 22:48 2.3M
[   ]coqide_8.2.pl1+dfsg-3_sparc.deb31-Aug-2009 10:06 6.3M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_alpha.deb30-Aug-2009 10:19 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_amd64.deb29-Aug-2009 16:33 5.8M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_armel.deb30-Aug-2009 16:53 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_hppa.deb30-Aug-2009 11:47 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_hurd-i386.deb05-Sep-2009 01:33 5.6M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_i386.deb29-Aug-2009 18:02 5.6M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_ia64.deb30-Aug-2009 13:33 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_kfreebsd-amd64.deb29-Aug-2009 18:32 5.7M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_kfreebsd-i386.deb29-Aug-2009 19:17 5.6M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_mips.deb30-Aug-2009 09:47 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_mipsel.deb31-Aug-2009 10:06 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_powerpc.deb30-Aug-2009 16:54 6.7M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_s390.deb30-Aug-2009 22:48 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_sparc.deb31-Aug-2009 10:06 6.4M

Apache Server at ftp.debian.org Port 80