Index of /mirror/debian-archive/pool/main/c/coq

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[DEB]coq-theories_8.2.pl2+dfsg-1_all.deb2010-07-02 17:19 18M
[DEB]coq_8.2.pl2+dfsg-1_sparc.deb2010-07-04 15:18 15M
[DEB]coq_8.2.pl2+dfsg-1_powerpc.deb2010-07-03 18:42 15M
[DEB]coq_8.2.pl2+dfsg-1_amd64.deb2010-07-02 17:19 15M
[DEB]coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb2010-07-04 15:48 15M
[DEB]coq_8.2.pl2+dfsg-1_i386.deb2010-07-02 19:03 13M
[DEB]coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb2010-07-04 15:18 13M
[DEB]coq-libs_8.1.pl3+dfsg-1_all.deb2008-01-05 10:32 12M
[DEB]coq_7.2-9_ia64.deb2002-02-16 19:11 9.5M
[DEB]coq_8.1.pl3+dfsg-1+b2_sparc.deb2008-05-24 11:02 9.0M
[DEB]coq_8.1.pl3+dfsg-1+b2_powerpc.deb2008-05-28 19:47 9.0M
[DEB]coq_8.1.pl3+dfsg-1+b2_amd64.deb2008-05-23 18:17 8.6M
[DEB]coq_7.2-9_alpha.deb2002-02-16 19:22 8.5M
[DEB]coq_8.1.pl3+dfsg-1+b2_i386.deb2008-05-26 16:17 8.1M
[DEB]coq_7.2-9_arm.deb2002-02-16 12:41 8.1M
[DEB]coq_7.2-9_i386.deb2002-02-15 20:24 7.8M
[DEB]coq_7.2-9_hppa.deb2002-02-16 19:11 7.0M
[DEB]coq_8.0pl2-2_hppa.deb2005-04-01 03:32 7.0M
[DEB]coq_7.2-9_sparc.deb2002-02-16 19:32 6.9M
[DEB]coq_7.2-9_mips.deb2002-02-16 19:33 6.9M
[DEB]coq_7.2-9_mipsel.deb2002-02-16 19:32 6.9M
[DEB]coq_7.2-9_s390.deb2002-02-16 15:14 6.9M
[DEB]coq_7.2-9_powerpc.deb2002-02-16 19:36 6.9M
[DEB]coq_7.2-9_m68k.deb2002-02-18 12:12 6.8M
[DEB]coq_8.0pl3-2_sparc.deb2006-02-20 03:47 6.7M
[DEB]libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb2010-07-03 18:42 6.7M
[DEB]coq_8.0pl2-2_sparc.deb2005-04-01 04:17 6.7M
[DEB]coq_8.0pl3-2_powerpc.deb2006-02-20 18:02 6.6M
[DEB]coq_8.0pl2-2_powerpc.deb2005-04-01 02:02 6.6M
[DEB]libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb2010-07-04 15:18 6.4M
[DEB]coqide_8.2.pl2+dfsg-1_sparc.deb2010-07-04 15:18 6.3M
[DEB]coqide_8.2.pl2+dfsg-1_powerpc.deb2010-07-03 18:42 6.3M
[DEB]coqide_8.2.pl2+dfsg-1_amd64.deb2010-07-02 17:19 6.2M
[DEB]coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb2010-07-04 15:48 6.2M
[DEB]coq_8.0pl3-2_amd64.deb2006-03-31 17:02 6.2M
[DEB]coq_8.0pl3-2_i386.deb2006-02-19 13:32 5.8M
[DEB]libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb2010-07-02 17:19 5.8M
[DEB]libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb2010-07-04 15:48 5.8M
[DEB]coq_8.0pl2-2_i386.deb2005-04-01 00:17 5.8M
[DEB]coqide_8.2.pl2+dfsg-1_i386.deb2010-07-02 19:03 5.7M
[DEB]coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb2010-07-04 15:18 5.7M
[DEB]libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb2010-07-02 19:03 5.7M
[DEB]libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb2010-07-04 15:18 5.6M
[DEB]coqide_8.1.pl3+dfsg-1+b2_sparc.deb2008-05-24 11:02 5.3M
[DEB]coqide_8.1.pl3+dfsg-1+b2_powerpc.deb2008-05-28 19:47 5.2M
[DEB]coqide_8.1.pl3+dfsg-1+b2_amd64.deb2008-05-23 18:17 5.0M
[DEB]coqide_8.1.pl3+dfsg-1+b2_i386.deb2008-05-26 16:17 4.7M
[DEB]coqide_8.0pl2-2_hppa.deb2005-04-01 03:32 4.5M
[DEB]coqide_8.0pl2-2_sparc.deb2005-04-01 04:17 4.4M
[DEB]coqide_8.0pl2-2_powerpc.deb2005-04-01 02:02 4.3M
[DEB]coq_8.1.pl3+dfsg-1+b2_ia64.deb2008-05-27 14:32 4.3M
[DEB]coq_8.1.pl3+dfsg-1+b2_alpha.deb2008-05-24 20:02 4.1M
[DEB]coq_8.1.pl3+dfsg-1+b2_s390.deb2008-05-25 20:47 4.1M
[DEB]coq_8.1.pl3+dfsg-1+b2_hppa.deb2008-05-29 14:32 4.1M
[DEB]coq_8.1.pl3+dfsg-1+b2_mips.deb2008-05-27 18:17 4.0M
[DEB]coq_8.1.pl3+dfsg-1+b2_mipsel.deb2008-05-24 20:02 4.0M
[DEB]coq_8.1.pl3+dfsg-1+b2_armel.deb2008-05-25 01:17 4.0M
[DEB]coq_8.1.pl3+dfsg-1+b2_arm.deb2008-05-25 11:02 4.0M
[DEB]coqide_8.0pl2-2_i386.deb2005-04-01 00:17 3.9M
[DEB]coqide_8.0pl3-2_sparc.deb2006-02-20 03:47 3.8M
[DEB]coqide_8.0pl3-2_powerpc.deb2006-02-20 18:02 3.7M
[DEB]coq7-libs_8.0pl3-2_all.deb2006-02-19 13:32 3.6M
[DEB]coq7-libs_8.0pl2-2_all.deb2005-04-01 00:17 3.6M
[DEB]coq-libs_8.0pl3-2_all.deb2006-02-19 13:32 3.6M
[DEB]coq-libs_8.0pl2-2_all.deb2005-04-30 13:54 3.6M
[DEB]coq_8.2.pl2+dfsg-1_ia64.deb2010-07-03 22:47 3.5M
[DEB]coq_8.2.pl2+dfsg-1_armel.deb2010-07-03 22:17 3.5M
[DEB]coq_8.2.pl2+dfsg-1_s390.deb2010-07-03 18:42 3.5M
[DEB]coq_8.2.pl2+dfsg-1_mipsel.deb2010-07-03 08:32 3.5M
[DEB]coq_8.2.pl2+dfsg-1_mips.deb2010-07-04 14:48 3.5M
[DEB]coqide_8.0pl3-2_amd64.deb2006-03-31 17:02 3.5M
[DEB]coqide_8.0pl3-2_i386.deb2006-02-19 13:32 3.3M
[DEB]coq_8.0pl3-2_ia64.deb2006-02-19 18:47 3.0M
[ARC]coq_8.2.pl2+dfsg.orig.tar.gz2010-07-02 17:19 3.0M
[DEB]coq_8.0pl2-2_ia64.deb2005-04-01 03:47 3.0M
[DEB]coq_8.0pl3-2_alpha.deb2006-02-20 18:02 2.9M
[DEB]coq_8.0pl3-2_s390.deb2006-02-19 22:47 2.8M
[DEB]coq_8.0pl3-2_hppa.deb2006-02-19 18:47 2.8M
[DEB]coq_8.0pl2-2_alpha.deb2005-04-01 05:17 2.8M
[DEB]coq_8.0pl3-2_mips.deb2006-02-20 18:02 2.8M
[DEB]coq_8.0pl3-2_mipsel.deb2006-02-20 18:02 2.8M
[DEB]coq_8.0pl2-2_s390.deb2005-04-01 10:32 2.8M
[DEB]coq_8.0pl2-2_mips.deb2005-04-04 20:02 2.7M
[DEB]coq_8.0pl3-2_arm.deb2006-02-20 03:47 2.7M
[DEB]coq_8.0pl2-2_mipsel.deb2005-04-01 05:02 2.7M
[DEB]coq_8.0pl2-2_arm.deb2005-04-09 02:18 2.7M
[DEB]coq_8.0pl3-2_m68k.deb2006-02-23 19:02 2.6M
[DEB]coq_8.0pl2-2_m68k.deb2005-04-02 12:17 2.6M
[ARC]coq_8.1.pl3+dfsg.orig.tar.gz2008-01-05 10:32 2.4M
[DEB]coqide_8.1.pl3+dfsg-1+b2_ia64.deb2008-05-27 14:32 2.4M
[DEB]coqide_8.1.pl3+dfsg-1+b2_s390.deb2008-05-25 20:47 2.4M
[DEB]coqide_8.1.pl3+dfsg-1+b2_alpha.deb2008-05-24 20:02 2.4M
[DEB]coqide_8.1.pl3+dfsg-1+b2_hppa.deb2008-05-29 14:32 2.3M
[DEB]coqide_8.1.pl3+dfsg-1+b2_mips.deb2008-05-27 18:17 2.3M
[DEB]coqide_8.1.pl3+dfsg-1+b2_mipsel.deb2008-05-24 20:02 2.3M
[DEB]coqide_8.2.pl2+dfsg-1_mips.deb2010-07-04 14:48 2.3M
[DEB]coqide_8.2.pl2+dfsg-1_mipsel.deb2010-07-03 08:32 2.3M
[DEB]coqide_8.1.pl3+dfsg-1+b2_armel.deb2008-05-25 01:17 2.3M
[DEB]coqide_8.2.pl2+dfsg-1_armel.deb2010-07-03 22:17 2.3M
[DEB]coqide_8.2.pl2+dfsg-1_ia64.deb2010-07-03 22:47 2.3M
[DEB]coqide_8.2.pl2+dfsg-1_s390.deb2010-07-03 18:42 2.3M
[DEB]coqide_8.1.pl3+dfsg-1+b2_arm.deb2008-05-25 11:02 2.3M
[ARC]coq_8.0pl3.orig.tar.gz2006-01-23 23:02 2.2M
[ARC]coq_8.0pl2.orig.tar.gz2005-04-30 13:54 2.2M
[DEB]coqide_8.0pl2-2_ia64.deb2005-04-01 03:47 1.9M
[DEB]coqide_8.0pl2-2_s390.deb2005-04-01 10:32 1.9M
[DEB]coqide_8.0pl2-2_alpha.deb2005-04-01 05:17 1.9M
[DEB]libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb2010-07-03 22:17 1.9M
[DEB]libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb2010-07-03 08:32 1.9M
[DEB]coqide_8.0pl2-2_mips.deb2005-04-04 20:02 1.9M
[DEB]libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb2010-07-04 14:48 1.9M
[DEB]libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb2010-07-03 18:42 1.9M
[DEB]libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb2010-07-03 22:47 1.9M
[DEB]coqide_8.0pl2-2_m68k.deb2005-04-02 12:17 1.9M
[DEB]coqide_8.0pl2-2_mipsel.deb2005-04-01 05:02 1.9M
[DEB]coqide_8.0pl2-2_arm.deb2005-04-09 02:18 1.9M
[DEB]coqide_8.0pl3-2_ia64.deb2006-02-19 18:47 1.3M
[DEB]coqide_8.0pl3-2_s390.deb2006-02-19 22:47 1.3M
[DEB]coqide_8.0pl3-2_alpha.deb2006-02-20 18:02 1.3M
[DEB]coqide_8.0pl3-2_hppa.deb2006-02-19 18:47 1.3M
[DEB]coqide_8.0pl3-2_mips.deb2006-02-20 18:02 1.3M
[DEB]coqide_8.0pl3-2_mipsel.deb2006-02-20 18:02 1.3M
[DEB]coqide_8.0pl3-2_m68k.deb2006-02-23 19:02 1.3M
[DEB]coqide_8.0pl3-2_arm.deb2006-02-20 03:47 1.3M
[ARC]coq_7.2.orig.tar.gz2002-01-18 22:26 1.1M
[ARC]coq_8.2.pl2+dfsg-1.debian.tar.gz2010-07-02 17:19 16K
[ARC]coq_8.0pl3-2.diff.gz2006-02-19 13:32 16K
[ARC]coq_8.1.pl3+dfsg-1.diff.gz2008-01-05 10:32 15K
[ARC]coq_8.0pl2-2.diff.gz2005-04-30 13:54 11K
[ARC]coq_7.2-9.diff.gz2002-02-15 20:24 4.5K
[TXT]coq_8.2.pl2+dfsg-1.dsc2010-07-02 17:19 2.1K
[TXT]coq_8.1.pl3+dfsg-1.dsc2008-01-05 10:32 1.0K
[TXT]coq_8.0pl2-2.dsc2005-04-30 13:54 919
[TXT]coq_8.0pl3-2.dsc2006-02-19 13:32 891
[TXT]coq_7.2-9.dsc2002-02-15 20:15 614
Apache/2.4.58 (Unix) Server at ftp.sunet.se Port 443