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-4_all.deb03-Dec-2009 12:32 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-4.diff.gz03-Dec-2009 12:32 15K
[   ]coq_8.2.pl1+dfsg-4.dsc03-Dec-2009 12:32 2.2K
[   ]coq_8.2.pl1+dfsg-4_alpha.deb03-Dec-2009 19:17 3.5M
[   ]coq_8.2.pl1+dfsg-4_amd64.deb03-Dec-2009 12:32 15M
[   ]coq_8.2.pl1+dfsg-4_armel.deb04-Dec-2009 09:36 3.5M
[   ]coq_8.2.pl1+dfsg-4_hppa.deb03-Dec-2009 21:48 3.5M
[   ]coq_8.2.pl1+dfsg-4_hurd-i386.deb09-Dec-2009 15:48 13M
[   ]coq_8.2.pl1+dfsg-4_i386.deb03-Dec-2009 18:02 13M
[   ]coq_8.2.pl1+dfsg-4_ia64.deb04-Dec-2009 01:47 3.5M
[   ]coq_8.2.pl1+dfsg-4_kfreebsd-amd64.deb03-Dec-2009 16:17 15M
[   ]coq_8.2.pl1+dfsg-4_kfreebsd-i386.deb03-Dec-2009 16:17 13M
[   ]coq_8.2.pl1+dfsg-4_mips.deb04-Dec-2009 17:50 3.5M
[   ]coq_8.2.pl1+dfsg-4_mipsel.deb04-Dec-2009 09:37 3.5M
[   ]coq_8.2.pl1+dfsg-4_powerpc.deb03-Dec-2009 21:48 15M
[   ]coq_8.2.pl1+dfsg-4_s390.deb05-Dec-2009 12:03 3.5M
[   ]coq_8.2.pl1+dfsg-4_sparc.deb03-Dec-2009 19:17 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-4_alpha.deb03-Dec-2009 19:17 2.3M
[   ]coqide_8.2.pl1+dfsg-4_amd64.deb03-Dec-2009 12:32 6.2M
[   ]coqide_8.2.pl1+dfsg-4_armel.deb04-Dec-2009 09:36 2.3M
[   ]coqide_8.2.pl1+dfsg-4_hppa.deb03-Dec-2009 21:48 2.3M
[   ]coqide_8.2.pl1+dfsg-4_hurd-i386.deb09-Dec-2009 15:48 5.5M
[   ]coqide_8.2.pl1+dfsg-4_i386.deb03-Dec-2009 18:02 5.7M
[   ]coqide_8.2.pl1+dfsg-4_ia64.deb04-Dec-2009 01:47 2.3M
[   ]coqide_8.2.pl1+dfsg-4_kfreebsd-amd64.deb03-Dec-2009 16:17 6.2M
[   ]coqide_8.2.pl1+dfsg-4_kfreebsd-i386.deb03-Dec-2009 16:17 5.7M
[   ]coqide_8.2.pl1+dfsg-4_mips.deb04-Dec-2009 17:50 2.3M
[   ]coqide_8.2.pl1+dfsg-4_mipsel.deb04-Dec-2009 09:37 2.3M
[   ]coqide_8.2.pl1+dfsg-4_powerpc.deb03-Dec-2009 21:48 6.3M
[   ]coqide_8.2.pl1+dfsg-4_s390.deb05-Dec-2009 12:03 2.3M
[   ]coqide_8.2.pl1+dfsg-4_sparc.deb03-Dec-2009 19:17 6.3M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_alpha.deb03-Dec-2009 19:17 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_amd64.deb03-Dec-2009 12:32 5.8M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_armel.deb04-Dec-2009 09:36 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_hppa.deb03-Dec-2009 21:48 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_hurd-i386.deb09-Dec-2009 15:48 5.6M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_i386.deb03-Dec-2009 18:02 5.6M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_ia64.deb04-Dec-2009 01:47 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_kfreebsd-amd64.deb03-Dec-2009 16:17 5.7M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_kfreebsd-i386.deb03-Dec-2009 16:17 5.6M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_mips.deb04-Dec-2009 17:50 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_mipsel.deb04-Dec-2009 09:37 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_powerpc.deb03-Dec-2009 21:48 6.7M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_s390.deb05-Dec-2009 12:03 1.9M
[   ]libcoq-ocaml-dev_8.2.pl1+dfsg-4_sparc.deb03-Dec-2009 19:17 6.4M

Apache Server at ftp.debian.org Port 80