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-1+dfsg-1_all.deb28-Feb-2009 16:43 17M
[ ]coq-theories_8.2-1+dfsg-2_all.deb01-Jul-2009 17:32 17M
[ ]coq-theories_8.2.pl1+dfsg-1_all.deb04-Jul-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-1+dfsg-1.diff.gz28-Feb-2009 16:43 14K
[ ]coq_8.2-1+dfsg-1.dsc28-Feb-2009 16:43 1.6K
[ ]coq_8.2-1+dfsg-1_alpha.deb16-Mar-2009 07:17 3.5M
[ ]coq_8.2-1+dfsg-1_amd64.deb28-Feb-2009 16:43 15M
[ ]coq_8.2-1+dfsg-1_armel.deb01-Mar-2009 15:47 3.5M
[ ]coq_8.2-1+dfsg-1_hppa.deb20-Mar-2009 21:17 3.5M
[ ]coq_8.2-1+dfsg-1_i386.deb05-Mar-2009 21:02 13M
[ ]coq_8.2-1+dfsg-1_ia64.deb01-Mar-2009 15:17 3.5M
[ ]coq_8.2-1+dfsg-1_mips.deb01-Mar-2009 16:17 3.5M
[ ]coq_8.2-1+dfsg-1_mipsel.deb01-Mar-2009 15:47 3.5M
[ ]coq_8.2-1+dfsg-1_powerpc.deb06-Mar-2009 13:47 15M
[ ]coq_8.2-1+dfsg-1_s390.deb03-Mar-2009 10:32 3.5M
[ ]coq_8.2-1+dfsg-1_sparc.deb20-Mar-2009 16:02 15M
[ ]coq_8.2-1+dfsg-2.diff.gz01-Jul-2009 17:32 14K
[ ]coq_8.2-1+dfsg-2.dsc01-Jul-2009 17:32 1.6K
[ ]coq_8.2-1+dfsg-2_amd64.deb01-Jul-2009 17:32 15M
[ ]coq_8.2-1+dfsg-2_armel.deb02-Jul-2009 09:47 3.5M
[ ]coq_8.2-1+dfsg-2_hppa.deb03-Jul-2009 19:02 3.5M
[ ]coq_8.2-1+dfsg-2_hurd-i386.deb02-Jul-2009 09:17 13M
[ ]coq_8.2-1+dfsg-2_i386.deb01-Jul-2009 23:02 13M
[ ]coq_8.2-1+dfsg-2_mipsel.deb02-Jul-2009 10:47 3.5M
[ ]coq_8.2-1+dfsg-2_powerpc.deb02-Jul-2009 07:47 15M
[ ]coq_8.2-1+dfsg-2_sparc.deb02-Jul-2009 10:32 15M
[ ]coq_8.2-1+dfsg.orig.tar.gz28-Feb-2009 16:43 3.0M
[ ]coq_8.2.pl1+dfsg-1.diff.gz04-Jul-2009 12:32 14K
[ ]coq_8.2.pl1+dfsg-1.dsc04-Jul-2009 12:32 1.6K
[ ]coq_8.2.pl1+dfsg-1_amd64.deb04-Jul-2009 12:32 15M
[ ]coq_8.2.pl1+dfsg.orig.tar.gz04-Jul-2009 12:32 3.0M
[ ]coq_8.2~rc2+dfsg.orig.tar.gz05-Feb-2009 17:17 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-1+dfsg-1_alpha.deb16-Mar-2009 07:17 2.2M
[ ]coqide_8.2-1+dfsg-1_amd64.deb28-Feb-2009 16:43 6.2M
[ ]coqide_8.2-1+dfsg-1_armel.deb01-Mar-2009 15:47 2.2M
[ ]coqide_8.2-1+dfsg-1_hppa.deb20-Mar-2009 21:17 2.2M
[ ]coqide_8.2-1+dfsg-1_i386.deb05-Mar-2009 21:02 5.7M
[ ]coqide_8.2-1+dfsg-1_ia64.deb01-Mar-2009 15:17 2.2M
[ ]coqide_8.2-1+dfsg-1_mips.deb01-Mar-2009 16:17 2.2M
[ ]coqide_8.2-1+dfsg-1_mipsel.deb01-Mar-2009 15:47 2.2M
[ ]coqide_8.2-1+dfsg-1_powerpc.deb06-Mar-2009 13:47 6.2M
[ ]coqide_8.2-1+dfsg-1_s390.deb03-Mar-2009 10:32 2.2M
[ ]coqide_8.2-1+dfsg-1_sparc.deb20-Mar-2009 16:02 6.3M
[ ]coqide_8.2-1+dfsg-2_amd64.deb01-Jul-2009 17:32 6.2M
[ ]coqide_8.2-1+dfsg-2_armel.deb02-Jul-2009 09:47 2.3M
[ ]coqide_8.2-1+dfsg-2_hppa.deb03-Jul-2009 19:02 2.3M
[ ]coqide_8.2-1+dfsg-2_hurd-i386.deb02-Jul-2009 09:17 5.5M
[ ]coqide_8.2-1+dfsg-2_i386.deb01-Jul-2009 23:02 5.7M
[ ]coqide_8.2-1+dfsg-2_mipsel.deb02-Jul-2009 10:47 2.3M
[ ]coqide_8.2-1+dfsg-2_powerpc.deb02-Jul-2009 07:47 6.3M
[ ]coqide_8.2-1+dfsg-2_sparc.deb02-Jul-2009 10:32 6.3M
[ ]coqide_8.2.pl1+dfsg-1_amd64.deb04-Jul-2009 12:32 6.2M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-1_alpha.deb16-Mar-2009 07:17 1.8M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb28-Feb-2009 16:43 5.8M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-1_armel.deb01-Mar-2009 15:47 1.9M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-1_hppa.deb20-Mar-2009 21:17 1.9M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-1_i386.deb05-Mar-2009 21:02 5.6M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-1_ia64.deb01-Mar-2009 15:17 1.8M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-1_mips.deb01-Mar-2009 16:17 1.8M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-1_mipsel.deb01-Mar-2009 15:47 1.8M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-1_powerpc.deb06-Mar-2009 13:47 6.7M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-1_s390.deb03-Mar-2009 10:32 1.8M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-1_sparc.deb20-Mar-2009 16:02 6.4M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb01-Jul-2009 17:32 5.8M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-2_armel.deb02-Jul-2009 09:47 1.9M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-2_hppa.deb03-Jul-2009 19:02 1.9M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-2_hurd-i386.deb02-Jul-2009 09:17 5.6M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-2_i386.deb01-Jul-2009 23:02 5.6M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-2_mipsel.deb02-Jul-2009 10:47 1.8M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-2_powerpc.deb02-Jul-2009 07:47 6.7M
[ ]libcoq-ocaml-dev_8.2-1+dfsg-2_sparc.deb02-Jul-2009 10:32 6.4M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-1_amd64.deb04-Jul-2009 12:32 5.8M
Apache Server at ftp.debian.org Port 80