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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq_7.2-9.dsc2002-02-15 20:15 614  
[ ]coq_8.0pl3-2.dsc2006-02-19 13:32 891  
[ ]coq_8.0pl2-2.dsc2005-04-30 13:54 919  
[ ]coq_8.1.pl3+dfsg-1.dsc2008-01-05 10:32 1.0K 
[ ]coq_8.2.pl2+dfsg-1.dsc2010-07-02 17:19 2.1K 
[ ]coq_8.3.pl4+dfsg-2.dsc2012-06-06 08:32 2.3K 
[ ]coq_8.4pl4dfsg-1.dsc2014-07-27 17:26 2.3K 
[ ]coq_8.6-4.dsc2016-12-30 01:56 2.3K 
[ ]coq_8.9.0-1.dsc2019-02-06 19:49 2.4K 
[ ]coq_7.2-9.diff.gz2002-02-15 20:24 4.5K 
[ ]coq_8.0pl2-2.diff.gz2005-04-30 13:54 11K 
[ ]coq_8.1.pl3+dfsg-1.diff.gz2008-01-05 10:32 15K 
[ ]coq_8.4pl4dfsg-1.debian.tar.xz2014-07-27 17:26 15K 
[ ]coq_8.0pl3-2.diff.gz2006-02-19 13:32 16K 
[ ]coq_8.3.pl4+dfsg-2.debian.tar.gz2012-06-06 08:32 16K 
[ ]coq_8.2.pl2+dfsg-1.debian.tar.gz2010-07-02 17:19 16K 
[ ]coq_8.6-4.debian.tar.xz2016-12-30 01:56 21K 
[ ]coq_8.9.0-1.debian.tar.xz2019-02-06 19:49 27K 
[ ]coqide_8.4pl4dfsg-1_arm64.deb2014-09-11 05:27 249K 
[ ]coqide_8.4pl4dfsg-1_ppc64el.deb2014-09-06 19:57 249K 
[ ]coqide_8.4pl4dfsg-1+b1_s390x.deb2014-08-27 04:42 250K 
[ ]libcoq-ocaml_8.4pl4dfsg-1_arm64.deb2014-09-11 05:27 371K 
[ ]libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb2014-09-06 19:57 372K 
[ ]libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb2014-08-27 04:42 374K 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_ia64.deb2012-06-07 21:03 524K 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb2012-06-06 13:17 524K 
[ ]coqide_8.4pl4dfsg-1_powerpc.deb2014-07-27 19:28 679K 
[ ]coqide_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-27 19:12 712K 
[ ]coqide_8.4pl4dfsg-1_i386.deb2014-07-27 18:57 714K 
[ ]coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-27 18:57 777K 
[ ]coqide_8.4pl4dfsg-1_amd64.deb2014-07-27 17:26 779K 
[ ]coq_7.2.orig.tar.gz2002-01-18 22:26 1.1M 
[ ]coq_8.4pl4dfsg-1_arm64.deb2014-09-11 05:27 1.1M 
[ ]coq_8.4pl4dfsg-1_ppc64el.deb2014-09-06 19:57 1.1M 
[ ]coq_8.4pl4dfsg-1+b1_s390x.deb2014-08-27 04:42 1.1M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb2014-09-06 19:57 1.2M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb2014-09-11 05:27 1.2M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb2014-08-27 04:42 1.2M 
[ ]coqide_8.6-4_i386.deb2016-12-30 02:57 1.3M 
[ ]coqide_8.0pl3-2_arm.deb2006-02-20 03:47 1.3M 
[ ]coqide_8.0pl3-2_ia64.deb2006-02-19 18:47 1.3M 
[ ]coqide_8.6-4_amd64.deb2016-12-30 01:56 1.3M 
[ ]coqide_8.6-4_arm64.deb2016-12-30 02:57 1.4M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb2014-07-27 19:28 1.4M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_i386.deb2014-07-27 18:57 1.4M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-27 19:12 1.4M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2014-07-27 17:26 1.6M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-27 18:57 1.6M 
[ ]coq_8.3.pl4+dfsg-2_ia64.deb2012-06-07 21:03 1.7M 
[ ]coq_8.3.pl4+dfsg-2_s390x.deb2012-06-06 13:17 1.7M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb2012-06-06 09:32 1.8M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 12:17 1.8M 
[ ]coqide_8.6-4_s390x.deb2016-12-30 06:27 1.8M 
[ ]coqide_8.6-4_ppc64el.deb2016-12-30 04:57 1.8M 
[ ]coqide_8.6-4_mips64el.deb2016-12-30 15:29 1.8M 
[ ]coqide_8.0pl2-2_arm.deb2005-04-09 02:18 1.9M 
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb2010-07-03 22:47 1.9M 
[ ]coqide_8.0pl2-2_ia64.deb2005-04-01 03:47 1.9M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-06 22:48 2.0M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb2012-06-06 08:32 2.0M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 11:02 2.0M 
[ ]coq_8.0pl2.orig.tar.gz2005-04-30 13:54 2.2M 
[ ]coq_8.0pl3.orig.tar.gz2006-01-23 23:02 2.2M 
[ ]libcoq-ocaml_8.6-4_mips64el.deb2016-12-30 15:29 2.3M 
[ ]libcoq-ocaml_8.6-4_ppc64el.deb2016-12-30 04:57 2.3M 
[ ]libcoq-ocaml_8.6-4_s390x.deb2016-12-30 06:27 2.3M 
[ ]coqide_8.1.pl3+dfsg-1+b2_arm.deb2008-05-25 11:02 2.3M 
[ ]coqide_8.2.pl2+dfsg-1_ia64.deb2010-07-03 22:47 2.3M 
[ ]coqide_8.1.pl3+dfsg-1+b2_ia64.deb2008-05-27 14:32 2.4M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_ia64.deb2012-06-07 21:03 2.4M 
[ ]coq_8.1.pl3+dfsg.orig.tar.gz2008-01-05 10:32 2.4M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb2012-06-06 13:17 2.4M 
[ ]coqide_8.3.pl4+dfsg-2_ia64.deb2012-06-07 21:03 2.4M 
[ ]coqide_8.3.pl4+dfsg-2_s390x.deb2012-06-06 13:17 2.4M 
[ ]coq_8.0pl2-2_arm.deb2005-04-09 02:18 2.7M 
[ ]coq_8.0pl3-2_arm.deb2006-02-20 03:47 2.7M 
[ ]coq_8.0pl2-2_ia64.deb2005-04-01 03:47 3.0M 
[ ]coq_8.2.pl2+dfsg.orig.tar.gz2010-07-02 17:19 3.0M 
[ ]coq_8.0pl3-2_ia64.deb2006-02-19 18:47 3.0M 
[ ]coq_8.3.pl4+dfsg.orig.tar.gz2012-03-27 09:02 3.0M 
[ ]libcoq-ocaml_8.6-4_i386.deb2016-12-30 02:57 3.2M 
[ ]coqide_8.0pl3-2_i386.deb2006-02-19 13:32 3.3M 
[ ]libcoq-ocaml_8.6-4_arm64.deb2016-12-30 02:57 3.3M 
[ ]libcoq-ocaml_8.6-4_amd64.deb2016-12-30 01:56 3.3M 
[ ]coq_8.4pl4dfsg.orig.tar.gz2014-07-27 17:26 3.4M 
[ ]coq_8.4pl4dfsg-1_powerpc.deb2014-07-27 19:28 3.4M 
[ ]libcoq-ocaml_8.9.0-1_mips64el.deb2019-02-09 09:29 3.4M 
[ ]coqide_8.0pl3-2_amd64.deb2006-03-31 17:02 3.5M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb2014-07-27 19:28 3.5M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-27 18:57 3.5M 
[ ]coq_8.2.pl2+dfsg-1_ia64.deb2010-07-03 22:47 3.5M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-27 19:12 3.5M 
[ ]coq-libs_8.0pl2-2_all.deb2005-04-30 13:54 3.6M 
[ ]coq-libs_8.0pl3-2_all.deb2006-02-19 13:32 3.6M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb2014-07-27 18:57 3.6M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2014-07-27 17:26 3.6M 
[ ]coq_8.4pl4dfsg-1_i386.deb2014-07-27 18:57 3.6M 
[ ]coq7-libs_8.0pl2-2_all.deb2005-04-01 00:17 3.6M 
[ ]coq7-libs_8.0pl3-2_all.deb2006-02-19 13:32 3.6M 
[ ]coqide_8.0pl3-2_powerpc.deb2006-02-20 18:02 3.7M 
[ ]coq_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-27 19:12 3.7M 
[ ]coq_8.4pl4dfsg-1_amd64.deb2014-07-27 17:26 3.9M 
[ ]coqide_8.0pl2-2_i386.deb2005-04-01 00:17 3.9M 
[ ]coq_8.1.pl3+dfsg-1+b2_arm.deb2008-05-25 11:02 4.0M 
[ ]coq_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-27 18:57 4.0M 
[ ]coq_8.1.pl3+dfsg-1+b2_ia64.deb2008-05-27 14:32 4.3M 
[ ]coqide_8.0pl2-2_powerpc.deb2005-04-01 02:02 4.3M 
[ ]coqide_8.1.pl3+dfsg-1+b2_i386.deb2008-05-26 16:17 4.7M 
[ ]coq_8.6.orig.tar.gz2016-12-28 14:44 4.8M 
[ ]coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 12:17 4.8M 
[ ]coq_8.3.pl4+dfsg-2_i386.deb2012-06-06 09:32 4.8M 
[ ]libcoq-ocaml_8.9.0-1_i386.deb2019-02-06 21:21 4.9M 
[ ]coqide_8.1.pl3+dfsg-1+b2_amd64.deb2008-05-23 18:17 5.0M 
[ ]coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 12:17 5.0M 
[ ]coqide_8.3.pl4+dfsg-2_i386.deb2012-06-06 09:32 5.0M 
[ ]coq_8.9.0.orig.tar.gz2019-02-06 19:49 5.1M 
[ ]libcoq-ocaml_8.9.0-1_amd64.deb2019-02-06 19:49 5.2M 
[ ]coqide_8.1.pl3+dfsg-1+b2_powerpc.deb2008-05-28 19:47 5.2M 
[ ]libcoq-ocaml_8.9.0-1_s390x.deb2019-02-06 21:00 5.3M 
[ ]coq_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 11:02 5.3M 
[ ]libcoq-ocaml_8.9.0-1_ppc64el.deb2019-02-06 21:00 5.3M 
[ ]coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-06 22:48 5.4M 
[ ]coqide_8.3.pl4+dfsg-2_amd64.deb2012-06-06 08:32 5.4M 
[ ]coqide_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 11:02 5.4M 
[ ]coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-06 22:48 5.4M 
[ ]coq_8.3.pl4+dfsg-2_amd64.deb2012-06-06 08:32 5.4M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 12:17 5.5M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb2012-06-06 09:32 5.5M 
[ ]libcoq-ocaml_8.9.0-1_arm64.deb2019-02-06 21:26 5.5M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-06 22:48 5.6M 
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb2010-07-04 15:18 5.6M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb2012-06-06 08:32 5.6M 
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb2010-07-02 19:03 5.7M 
[ ]coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb2010-07-04 15:18 5.7M 
[ ]coqide_8.2.pl2+dfsg-1_i386.deb2010-07-02 19:03 5.7M 
[ ]coq_8.0pl2-2_i386.deb2005-04-01 00:17 5.8M 
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb2010-07-04 15:48 5.8M 
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb2010-07-02 17:19 5.8M 
[ ]coq_8.0pl3-2_i386.deb2006-02-19 13:32 5.8M 
[ ]coq_8.0pl3-2_amd64.deb2006-03-31 17:02 6.2M 
[ ]coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb2010-07-04 15:48 6.2M 
[ ]coqide_8.2.pl2+dfsg-1_amd64.deb2010-07-02 17:19 6.2M 
[ ]coqide_8.2.pl2+dfsg-1_powerpc.deb2010-07-03 18:42 6.3M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 11:02 6.4M 
[ ]coq_8.0pl2-2_powerpc.deb2005-04-01 02:02 6.6M 
[ ]coq_8.0pl3-2_powerpc.deb2006-02-20 18:02 6.6M 
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb2010-07-03 18:42 6.7M 
[ ]coq_7.2-9_powerpc.deb2002-02-16 19:36 6.9M 
[ ]libcoq-ocaml-dev_8.9.0-1_mips64el.deb2019-02-09 09:29 7.6M 
[ ]coq_7.2-9_i386.deb2002-02-15 20:24 7.8M 
[ ]coq_7.2-9_arm.deb2002-02-16 12:41 8.1M 
[ ]coq_8.1.pl3+dfsg-1+b2_i386.deb2008-05-26 16:17 8.1M 
[ ]coq_8.1.pl3+dfsg-1+b2_amd64.deb2008-05-23 18:17 8.6M 
[ ]coq_8.1.pl3+dfsg-1+b2_powerpc.deb2008-05-28 19:47 9.0M 
[ ]coq_7.2-9_ia64.deb2002-02-16 19:11 9.5M 
[ ]libcoq-ocaml-dev_8.6-4_mips64el.deb2016-12-30 15:29 9.6M 
[ ]libcoq-ocaml-dev_8.6-4_ppc64el.deb2016-12-30 04:57 9.6M 
[ ]libcoq-ocaml-dev_8.6-4_s390x.deb2016-12-30 06:27 9.6M 
[ ]coq-libs_8.1.pl3+dfsg-1_all.deb2008-01-05 10:32 12M 
[ ]libcoq-ocaml-dev_8.6-4_amd64.deb2016-12-30 01:56 13M 
[ ]libcoq-ocaml-dev_8.6-4_i386.deb2016-12-30 02:57 13M 
[ ]libcoq-ocaml-dev_8.6-4_arm64.deb2016-12-30 02:57 13M 
[ ]coq_8.6-4_i386.deb2016-12-30 02:57 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_amd64.deb2019-02-06 19:49 13M 
[ ]coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb2010-07-04 15:18 13M 
[ ]coq_8.2.pl2+dfsg-1_i386.deb2010-07-02 19:03 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_i386.deb2019-02-06 21:21 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_s390x.deb2019-02-06 21:00 13M 
[ ]coq_8.6-4_arm64.deb2016-12-30 02:57 13M 
[ ]coq_8.6-4_amd64.deb2016-12-30 01:56 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_arm64.deb2019-02-06 21:26 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_ppc64el.deb2019-02-06 21:00 13M 
[ ]coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb2010-07-04 15:48 15M 
[ ]coq_8.2.pl2+dfsg-1_amd64.deb2010-07-02 17:19 15M 
[ ]coq_8.2.pl2+dfsg-1_powerpc.deb2010-07-03 18:42 15M 
[ ]coq-theories_8.2.pl2+dfsg-1_all.deb2010-07-02 17:19 18M 
[ ]coq_8.6-4_ppc64el.deb2016-12-30 04:57 18M 
[ ]coq_8.6-4_mips64el.deb2016-12-30 15:29 18M 
[ ]coq_8.6-4_s390x.deb2016-12-30 06:27 18M 
[ ]coq-theories_8.9.0-1_mips64el.deb2019-02-09 09:29 19M 
[ ]coq-theories_8.9.0-1_ppc64el.deb2019-02-06 21:00 19M 
[ ]coq-theories_8.9.0-1_s390x.deb2019-02-06 21:00 19M 
[ ]coq-theories_8.9.0-1_arm64.deb2019-02-06 21:26 19M 
[ ]coq-theories_8.6-4_s390x.deb2016-12-30 06:27 22M 
[ ]coq-theories_8.6-4_mips64el.deb2016-12-30 15:29 22M 
[ ]coq-theories_8.6-4_ppc64el.deb2016-12-30 04:57 22M 
[ ]coq-theories_8.6-4_arm64.deb2016-12-30 02:57 22M 
[ ]coq-theories_8.9.0-1_i386.deb2019-02-06 21:21 27M 
[ ]coq-theories_8.9.0-1_amd64.deb2019-02-06 19:49 28M 
[ ]coq-theories_8.6-4_i386.deb2016-12-30 02:57 29M 
[ ]coq-theories_8.6-4_amd64.deb2016-12-30 01:56 30M 
[ ]coq-theories_8.4pl4dfsg-1_all.deb2014-07-27 17:26 31M 
[ ]coq_8.9.0-1_mips64el.deb2019-02-09 09:29 48M 
[ ]coq-theories_8.3.pl4+dfsg-2_all.deb2012-06-06 08:32 52M 
[ ]coq_8.9.0-1_i386.deb2019-02-06 21:21 54M 
[ ]coq_8.9.0-1_amd64.deb2019-02-06 19:49 56M 
[ ]coq_8.9.0-1_s390x.deb2019-02-06 21:00 56M 
[ ]coq_8.9.0-1_ppc64el.deb2019-02-06 21:00 58M 
[ ]coq_8.9.0-1_arm64.deb2019-02-06 21:26 60M 
Apache/2.4.59 (Debian) Server at debian.polytech-lille.fr Port 80