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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]coq-libs_8.0pl2-2_all.deb2005-04-30 07:54 3.6M 
[   ]coq-libs_8.0pl3-2_all.deb2006-02-19 07:32 3.6M 
[   ]coq-libs_8.1.pl3+dfsg-1_all.deb2008-01-05 04:32 12M 
[   ]coq-theories_8.2.pl2+dfsg-1_all.deb2010-07-02 11:19 18M 
[   ]coq-theories_8.3.pl4+dfsg-2_all.deb2012-06-06 02:32 52M 
[   ]coq-theories_8.4pl4dfsg-1_all.deb2014-07-27 11:26 31M 
[   ]coq-theories_8.6-4_amd64.deb2016-12-29 19:56 30M 
[   ]coq-theories_8.6-4_arm64.deb2016-12-29 20:57 22M 
[   ]coq-theories_8.6-4_armel.deb2016-12-29 22:12 22M 
[   ]coq-theories_8.6-4_armhf.deb2016-12-29 22:12 22M 
[   ]coq-theories_8.6-4_i386.deb2016-12-29 20:57 29M 
[   ]coq-theories_8.6-4_mips.deb2016-12-30 02:57 22M 
[   ]coq-theories_8.6-4_mips64el.deb2016-12-30 09:29 22M 
[   ]coq-theories_8.6-4_mipsel.deb2016-12-30 02:57 22M 
[   ]coq-theories_8.6-4_ppc64el.deb2016-12-29 22:57 22M 
[   ]coq-theories_8.6-4_s390x.deb2016-12-30 00:27 22M 
[   ]coq7-libs_8.0pl2-2_all.deb2005-03-31 17:17 3.6M 
[   ]coq7-libs_8.0pl3-2_all.deb2006-02-19 07:32 3.6M 
[   ]coq_7.2-9.diff.gz2002-02-15 14:24 4.5K 
[TXT]coq_7.2-9.dsc2002-02-15 14:15 614  
[   ]coq_7.2-9_alpha.deb2002-02-16 13:22 8.5M 
[   ]coq_7.2-9_arm.deb2002-02-16 06:41 8.1M 
[   ]coq_7.2-9_hppa.deb2002-02-16 13:11 7.0M 
[   ]coq_7.2-9_i386.deb2002-02-15 14:24 7.8M 
[   ]coq_7.2-9_ia64.deb2002-02-16 13:11 9.5M 
[   ]coq_7.2-9_m68k.deb2002-02-18 06:12 6.8M 
[   ]coq_7.2-9_mips.deb2002-02-16 13:33 6.9M 
[   ]coq_7.2-9_mipsel.deb2002-02-16 13:32 6.9M 
[   ]coq_7.2-9_powerpc.deb2002-02-16 13:36 6.9M 
[   ]coq_7.2-9_s390.deb2002-02-16 09:14 6.9M 
[   ]coq_7.2-9_sparc.deb2002-02-16 13:32 6.9M 
[   ]coq_7.2.orig.tar.gz2002-01-18 16:26 1.1M 
[   ]coq_8.0pl2-2.diff.gz2005-04-30 07:54 11K 
[TXT]coq_8.0pl2-2.dsc2005-04-30 07:54 919  
[   ]coq_8.0pl2-2_alpha.deb2005-03-31 22:17 2.8M 
[   ]coq_8.0pl2-2_arm.deb2005-04-08 20:18 2.7M 
[   ]coq_8.0pl2-2_hppa.deb2005-03-31 20:32 7.0M 
[   ]coq_8.0pl2-2_i386.deb2005-03-31 17:17 5.8M 
[   ]coq_8.0pl2-2_ia64.deb2005-03-31 20:47 3.0M 
[   ]coq_8.0pl2-2_m68k.deb2005-04-02 05:17 2.6M 
[   ]coq_8.0pl2-2_mips.deb2005-04-04 14:02 2.7M 
[   ]coq_8.0pl2-2_mipsel.deb2005-03-31 22:02 2.7M 
[   ]coq_8.0pl2-2_powerpc.deb2005-03-31 19:02 6.6M 
[   ]coq_8.0pl2-2_s390.deb2005-04-01 03:32 2.8M 
[   ]coq_8.0pl2-2_sparc.deb2005-03-31 21:17 6.7M 
[   ]coq_8.0pl2.orig.tar.gz2005-04-30 07:54 2.2M 
[   ]coq_8.0pl3-2.diff.gz2006-02-19 07:32 16K 
[TXT]coq_8.0pl3-2.dsc2006-02-19 07:32 891  
[   ]coq_8.0pl3-2_alpha.deb2006-02-20 12:02 2.9M 
[   ]coq_8.0pl3-2_amd64.deb2006-03-31 10:02 6.2M 
[   ]coq_8.0pl3-2_arm.deb2006-02-19 21:47 2.7M 
[   ]coq_8.0pl3-2_hppa.deb2006-02-19 12:47 2.8M 
[   ]coq_8.0pl3-2_i386.deb2006-02-19 07:32 5.8M 
[   ]coq_8.0pl3-2_ia64.deb2006-02-19 12:47 3.0M 
[   ]coq_8.0pl3-2_m68k.deb2006-02-23 13:02 2.6M 
[   ]coq_8.0pl3-2_mips.deb2006-02-20 12:02 2.8M 
[   ]coq_8.0pl3-2_mipsel.deb2006-02-20 12:02 2.8M 
[   ]coq_8.0pl3-2_powerpc.deb2006-02-20 12:02 6.6M 
[   ]coq_8.0pl3-2_s390.deb2006-02-19 16:47 2.8M 
[   ]coq_8.0pl3-2_sparc.deb2006-02-19 21:47 6.7M 
[   ]coq_8.0pl3.orig.tar.gz2006-01-23 17:02 2.2M 
[   ]coq_8.1.pl3+dfsg-1+b2_alpha.deb2008-05-24 14:02 4.1M 
[   ]coq_8.1.pl3+dfsg-1+b2_amd64.deb2008-05-23 12:17 8.6M 
[   ]coq_8.1.pl3+dfsg-1+b2_arm.deb2008-05-25 05:02 4.0M 
[   ]coq_8.1.pl3+dfsg-1+b2_armel.deb2008-05-24 19:17 4.0M 
[   ]coq_8.1.pl3+dfsg-1+b2_hppa.deb2008-05-29 08:32 4.1M 
[   ]coq_8.1.pl3+dfsg-1+b2_i386.deb2008-05-26 10:17 8.1M 
[   ]coq_8.1.pl3+dfsg-1+b2_ia64.deb2008-05-27 08:32 4.3M 
[   ]coq_8.1.pl3+dfsg-1+b2_mips.deb2008-05-27 12:17 4.0M 
[   ]coq_8.1.pl3+dfsg-1+b2_mipsel.deb2008-05-24 14:02 4.0M 
[   ]coq_8.1.pl3+dfsg-1+b2_powerpc.deb2008-05-28 13:47 9.0M 
[   ]coq_8.1.pl3+dfsg-1+b2_s390.deb2008-05-25 14:47 4.1M 
[   ]coq_8.1.pl3+dfsg-1+b2_sparc.deb2008-05-24 05:02 9.0M 
[   ]coq_8.1.pl3+dfsg-1.diff.gz2008-01-05 04:32 15K 
[TXT]coq_8.1.pl3+dfsg-1.dsc2008-01-05 04:32 1.0K 
[   ]coq_8.1.pl3+dfsg.orig.tar.gz2008-01-05 04:32 2.4M 
[   ]coq_8.2.pl2+dfsg-1.debian.tar.gz2010-07-02 11:19 16K 
[TXT]coq_8.2.pl2+dfsg-1.dsc2010-07-02 11:19 2.1K 
[   ]coq_8.2.pl2+dfsg-1_amd64.deb2010-07-02 11:19 15M 
[   ]coq_8.2.pl2+dfsg-1_armel.deb2010-07-03 16:17 3.5M 
[   ]coq_8.2.pl2+dfsg-1_i386.deb2010-07-02 13:03 13M 
[   ]coq_8.2.pl2+dfsg-1_ia64.deb2010-07-03 16:47 3.5M 
[   ]coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb2010-07-04 09:48 15M 
[   ]coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb2010-07-04 09:18 13M 
[   ]coq_8.2.pl2+dfsg-1_mips.deb2010-07-04 08:48 3.5M 
[   ]coq_8.2.pl2+dfsg-1_mipsel.deb2010-07-03 02:32 3.5M 
[   ]coq_8.2.pl2+dfsg-1_powerpc.deb2010-07-03 12:42 15M 
[   ]coq_8.2.pl2+dfsg-1_s390.deb2010-07-03 12:42 3.5M 
[   ]coq_8.2.pl2+dfsg-1_sparc.deb2010-07-04 09:18 15M 
[   ]coq_8.2.pl2+dfsg.orig.tar.gz2010-07-02 11:19 3.0M 
[   ]coq_8.3.pl4+dfsg-2.debian.tar.gz2012-06-06 02:32 16K 
[TXT]coq_8.3.pl4+dfsg-2.dsc2012-06-06 02:32 2.3K 
[   ]coq_8.3.pl4+dfsg-2_amd64.deb2012-06-06 02:32 5.4M 
[   ]coq_8.3.pl4+dfsg-2_armel.deb2012-06-06 06:47 5.8M 
[   ]coq_8.3.pl4+dfsg-2_armhf.deb2012-06-06 11:32 1.7M 
[   ]coq_8.3.pl4+dfsg-2_i386.deb2012-06-06 03:32 4.8M 
[   ]coq_8.3.pl4+dfsg-2_ia64.deb2012-06-07 15:03 1.7M 
[   ]coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-06 16:48 5.4M 
[   ]coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 06:17 4.8M 
[   ]coq_8.3.pl4+dfsg-2_mips.deb2012-06-08 11:19 1.7M 
[   ]coq_8.3.pl4+dfsg-2_mipsel.deb2012-06-06 08:32 1.7M 
[   ]coq_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 05:02 5.3M 
[   ]coq_8.3.pl4+dfsg-2_s390.deb2012-06-06 06:17 1.7M 
[   ]coq_8.3.pl4+dfsg-2_s390x.deb2012-06-06 07:17 1.7M 
[   ]coq_8.3.pl4+dfsg-2_sparc.deb2012-06-06 06:32 5.2M 
[   ]coq_8.3.pl4+dfsg.orig.tar.gz2012-03-27 03:02 3.0M 
[   ]coq_8.4pl4dfsg-1+b1_s390x.deb2014-08-26 22:42 1.1M 
[   ]coq_8.4pl4dfsg-1.debian.tar.xz2014-07-27 11:26 15K 
[TXT]coq_8.4pl4dfsg-1.dsc2014-07-27 11:26 2.3K 
[   ]coq_8.4pl4dfsg-1_amd64.deb2014-07-27 11:26 3.9M 
[   ]coq_8.4pl4dfsg-1_arm64.deb2014-09-10 23:27 1.1M 
[   ]coq_8.4pl4dfsg-1_armel.deb2014-07-27 14:28 3.7M 
[   ]coq_8.4pl4dfsg-1_armhf.deb2014-07-27 17:28 3.7M 
[   ]coq_8.4pl4dfsg-1_i386.deb2014-07-27 12:57 3.6M 
[   ]coq_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-27 12:57 4.0M 
[   ]coq_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-27 13:12 3.7M 
[   ]coq_8.4pl4dfsg-1_mips.deb2014-07-31 10:58 1.1M 
[   ]coq_8.4pl4dfsg-1_mipsel.deb2014-07-27 22:14 1.1M 
[   ]coq_8.4pl4dfsg-1_powerpc.deb2014-07-27 13:28 3.4M 
[   ]coq_8.4pl4dfsg-1_ppc64el.deb2014-09-06 13:57 1.1M 
[   ]coq_8.4pl4dfsg.orig.tar.gz2014-07-27 11:26 3.4M 
[   ]coq_8.6-4.debian.tar.xz2016-12-29 19:56 21K 
[TXT]coq_8.6-4.dsc2016-12-29 19:56 2.3K 
[   ]coq_8.6-4_amd64.deb2016-12-29 19:56 13M 
[   ]coq_8.6-4_arm64.deb2016-12-29 20:57 13M 
[   ]coq_8.6-4_armel.deb2016-12-29 22:12 13M 
[   ]coq_8.6-4_armhf.deb2016-12-29 22:12 13M 
[   ]coq_8.6-4_i386.deb2016-12-29 20:57 13M 
[   ]coq_8.6-4_mips.deb2016-12-30 02:57 18M 
[   ]coq_8.6-4_mips64el.deb2016-12-30 09:29 18M 
[   ]coq_8.6-4_mipsel.deb2016-12-30 02:57 18M 
[   ]coq_8.6-4_ppc64el.deb2016-12-29 22:57 18M 
[   ]coq_8.6-4_s390x.deb2016-12-30 00:27 18M 
[   ]coq_8.6.orig.tar.gz2016-12-28 08:44 4.8M 
[   ]coqide_8.0pl2-2_alpha.deb2005-03-31 22:17 1.9M 
[   ]coqide_8.0pl2-2_arm.deb2005-04-08 20:18 1.9M 
[   ]coqide_8.0pl2-2_hppa.deb2005-03-31 20:32 4.5M 
[   ]coqide_8.0pl2-2_i386.deb2005-03-31 17:17 3.9M 
[   ]coqide_8.0pl2-2_ia64.deb2005-03-31 20:47 1.9M 
[   ]coqide_8.0pl2-2_m68k.deb2005-04-02 05:17 1.9M 
[   ]coqide_8.0pl2-2_mips.deb2005-04-04 14:02 1.9M 
[   ]coqide_8.0pl2-2_mipsel.deb2005-03-31 22:02 1.9M 
[   ]coqide_8.0pl2-2_powerpc.deb2005-03-31 19:02 4.3M 
[   ]coqide_8.0pl2-2_s390.deb2005-04-01 03:32 1.9M 
[   ]coqide_8.0pl2-2_sparc.deb2005-03-31 21:17 4.4M 
[   ]coqide_8.0pl3-2_alpha.deb2006-02-20 12:02 1.3M 
[   ]coqide_8.0pl3-2_amd64.deb2006-03-31 10:02 3.5M 
[   ]coqide_8.0pl3-2_arm.deb2006-02-19 21:47 1.3M 
[   ]coqide_8.0pl3-2_hppa.deb2006-02-19 12:47 1.3M 
[   ]coqide_8.0pl3-2_i386.deb2006-02-19 07:32 3.3M 
[   ]coqide_8.0pl3-2_ia64.deb2006-02-19 12:47 1.3M 
[   ]coqide_8.0pl3-2_m68k.deb2006-02-23 13:02 1.3M 
[   ]coqide_8.0pl3-2_mips.deb2006-02-20 12:02 1.3M 
[   ]coqide_8.0pl3-2_mipsel.deb2006-02-20 12:02 1.3M 
[   ]coqide_8.0pl3-2_powerpc.deb2006-02-20 12:02 3.7M 
[   ]coqide_8.0pl3-2_s390.deb2006-02-19 16:47 1.3M 
[   ]coqide_8.0pl3-2_sparc.deb2006-02-19 21:47 3.8M 
[   ]coqide_8.1.pl3+dfsg-1+b2_alpha.deb2008-05-24 14:02 2.4M 
[   ]coqide_8.1.pl3+dfsg-1+b2_amd64.deb2008-05-23 12:17 5.0M 
[   ]coqide_8.1.pl3+dfsg-1+b2_arm.deb2008-05-25 05:02 2.3M 
[   ]coqide_8.1.pl3+dfsg-1+b2_armel.deb2008-05-24 19:17 2.3M 
[   ]coqide_8.1.pl3+dfsg-1+b2_hppa.deb2008-05-29 08:32 2.3M 
[   ]coqide_8.1.pl3+dfsg-1+b2_i386.deb2008-05-26 10:17 4.7M 
[   ]coqide_8.1.pl3+dfsg-1+b2_ia64.deb2008-05-27 08:32 2.4M 
[   ]coqide_8.1.pl3+dfsg-1+b2_mips.deb2008-05-27 12:17 2.3M 
[   ]coqide_8.1.pl3+dfsg-1+b2_mipsel.deb2008-05-24 14:02 2.3M 
[   ]coqide_8.1.pl3+dfsg-1+b2_powerpc.deb2008-05-28 13:47 5.2M 
[   ]coqide_8.1.pl3+dfsg-1+b2_s390.deb2008-05-25 14:47 2.4M 
[   ]coqide_8.1.pl3+dfsg-1+b2_sparc.deb2008-05-24 05:02 5.3M 
[   ]coqide_8.2.pl2+dfsg-1_amd64.deb2010-07-02 11:19 6.2M 
[   ]coqide_8.2.pl2+dfsg-1_armel.deb2010-07-03 16:17 2.3M 
[   ]coqide_8.2.pl2+dfsg-1_i386.deb2010-07-02 13:03 5.7M 
[   ]coqide_8.2.pl2+dfsg-1_ia64.deb2010-07-03 16:47 2.3M 
[   ]coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb2010-07-04 09:48 6.2M 
[   ]coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb2010-07-04 09:18 5.7M 
[   ]coqide_8.2.pl2+dfsg-1_mips.deb2010-07-04 08:48 2.3M 
[   ]coqide_8.2.pl2+dfsg-1_mipsel.deb2010-07-03 02:32 2.3M 
[   ]coqide_8.2.pl2+dfsg-1_powerpc.deb2010-07-03 12:42 6.3M 
[   ]coqide_8.2.pl2+dfsg-1_s390.deb2010-07-03 12:42 2.3M 
[   ]coqide_8.2.pl2+dfsg-1_sparc.deb2010-07-04 09:18 6.3M 
[   ]coqide_8.3.pl4+dfsg-2_amd64.deb2012-06-06 02:32 5.4M 
[   ]coqide_8.3.pl4+dfsg-2_armel.deb2012-06-06 06:47 5.9M 
[   ]coqide_8.3.pl4+dfsg-2_armhf.deb2012-06-06 11:32 2.4M 
[   ]coqide_8.3.pl4+dfsg-2_i386.deb2012-06-06 03:32 5.0M 
[   ]coqide_8.3.pl4+dfsg-2_ia64.deb2012-06-07 15:03 2.4M 
[   ]coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-06 16:48 5.4M 
[   ]coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 06:17 5.0M 
[   ]coqide_8.3.pl4+dfsg-2_mips.deb2012-06-08 11:19 2.4M 
[   ]coqide_8.3.pl4+dfsg-2_mipsel.deb2012-06-06 08:32 2.4M 
[   ]coqide_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 05:02 5.4M 
[   ]coqide_8.3.pl4+dfsg-2_s390.deb2012-06-06 06:17 2.4M 
[   ]coqide_8.3.pl4+dfsg-2_s390x.deb2012-06-06 07:17 2.4M 
[   ]coqide_8.3.pl4+dfsg-2_sparc.deb2012-06-06 06:32 5.2M 
[   ]coqide_8.4pl4dfsg-1+b1_s390x.deb2014-08-26 22:42 250K 
[   ]coqide_8.4pl4dfsg-1_amd64.deb2014-07-27 11:26 779K 
[   ]coqide_8.4pl4dfsg-1_arm64.deb2014-09-10 23:27 249K 
[   ]coqide_8.4pl4dfsg-1_armel.deb2014-07-27 14:28 780K 
[   ]coqide_8.4pl4dfsg-1_armhf.deb2014-07-27 17:28 804K 
[   ]coqide_8.4pl4dfsg-1_i386.deb2014-07-27 12:57 714K 
[   ]coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-27 12:57 777K 
[   ]coqide_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-27 13:12 712K 
[   ]coqide_8.4pl4dfsg-1_mips.deb2014-07-31 10:58 249K 
[   ]coqide_8.4pl4dfsg-1_mipsel.deb2014-07-27 22:14 249K 
[   ]coqide_8.4pl4dfsg-1_powerpc.deb2014-07-27 13:28 679K 
[   ]coqide_8.4pl4dfsg-1_ppc64el.deb2014-09-06 13:57 249K 
[   ]coqide_8.6-4_amd64.deb2016-12-29 19:56 1.3M 
[   ]coqide_8.6-4_arm64.deb2016-12-29 20:57 1.4M 
[   ]coqide_8.6-4_armel.deb2016-12-29 22:12 1.4M 
[   ]coqide_8.6-4_armhf.deb2016-12-29 22:12 1.4M 
[   ]coqide_8.6-4_i386.deb2016-12-29 20:57 1.3M 
[   ]coqide_8.6-4_mips.deb2016-12-30 02:57 1.8M 
[   ]coqide_8.6-4_mips64el.deb2016-12-30 09:29 1.8M 
[   ]coqide_8.6-4_mipsel.deb2016-12-30 02:57 1.8M 
[   ]coqide_8.6-4_ppc64el.deb2016-12-29 22:57 1.8M 
[   ]coqide_8.6-4_s390x.deb2016-12-30 00:27 1.8M 
[   ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb2010-07-02 11:19 5.8M 
[   ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb2010-07-03 16:17 1.9M 
[   ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb2010-07-02 13:03 5.7M 
[   ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb2010-07-03 16:47 1.9M 
[   ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb2010-07-04 09:48 5.8M 
[   ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb2010-07-04 09:18 5.6M 
[   ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb2010-07-04 08:48 1.9M 
[   ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb2010-07-03 02:32 1.9M 
[   ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb2010-07-03 12:42 6.7M 
[   ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb2010-07-03 12:42 1.9M 
[   ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb2010-07-04 09:18 6.4M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb2012-06-06 02:32 5.6M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb2012-06-06 06:47 7.2M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb2012-06-06 11:32 2.4M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb2012-06-06 03:32 5.5M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_ia64.deb2012-06-07 15:03 2.4M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-06 16:48 5.6M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 06:17 5.5M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_mips.deb2012-06-08 11:19 2.4M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb2012-06-06 08:32 2.4M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 05:02 6.4M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390.deb2012-06-06 06:17 2.4M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb2012-06-06 07:17 2.4M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb2012-06-06 06:32 6.1M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb2014-08-26 22:42 1.2M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2014-07-27 11:26 3.6M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb2014-09-10 23:27 1.2M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb2014-07-27 14:28 3.9M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb2014-07-27 17:28 3.8M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb2014-07-27 12:57 3.6M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-27 12:57 3.5M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-27 13:12 3.5M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_mips.deb2014-07-31 10:58 1.2M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb2014-07-27 22:14 1.2M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb2014-07-27 13:28 3.5M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb2014-09-06 13:57 1.2M 
[   ]libcoq-ocaml-dev_8.6-4_amd64.deb2016-12-29 19:56 13M 
[   ]libcoq-ocaml-dev_8.6-4_arm64.deb2016-12-29 20:57 13M 
[   ]libcoq-ocaml-dev_8.6-4_armel.deb2016-12-29 22:12 13M 
[   ]libcoq-ocaml-dev_8.6-4_armhf.deb2016-12-29 22:12 13M 
[   ]libcoq-ocaml-dev_8.6-4_i386.deb2016-12-29 20:57 13M 
[   ]libcoq-ocaml-dev_8.6-4_mips.deb2016-12-30 02:57 9.6M 
[   ]libcoq-ocaml-dev_8.6-4_mips64el.deb2016-12-30 09:29 9.6M 
[   ]libcoq-ocaml-dev_8.6-4_mipsel.deb2016-12-30 02:57 9.6M 
[   ]libcoq-ocaml-dev_8.6-4_ppc64el.deb2016-12-29 22:57 9.6M 
[   ]libcoq-ocaml-dev_8.6-4_s390x.deb2016-12-30 00:27 9.6M 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb2012-06-06 02:32 2.0M 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb2012-06-06 06:47 521K 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb2012-06-06 11:32 524K 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb2012-06-06 03:32 1.8M 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_ia64.deb2012-06-07 15:03 524K 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-06 16:48 2.0M 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 06:17 1.8M 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_mips.deb2012-06-08 11:19 521K 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb2012-06-06 08:32 521K 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 05:02 2.0M 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_s390.deb2012-06-06 06:17 520K 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb2012-06-06 07:17 524K 
[   ]libcoq-ocaml_8.3.pl4+dfsg-2_sparc.deb2012-06-06 06:32 2.0M 
[   ]libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb2014-08-26 22:42 374K 
[   ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2014-07-27 11:26 1.6M 
[   ]libcoq-ocaml_8.4pl4dfsg-1_arm64.deb2014-09-10 23:27 371K 
[   ]libcoq-ocaml_8.4pl4dfsg-1_armel.deb2014-07-27 14:28 1.5M 
[   ]libcoq-ocaml_8.4pl4dfsg-1_armhf.deb2014-07-27 17:28 1.5M 
[   ]libcoq-ocaml_8.4pl4dfsg-1_i386.deb2014-07-27 12:57 1.4M 
[   ]libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-27 12:57 1.6M 
[   ]libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-27 13:12 1.4M 
[   ]libcoq-ocaml_8.4pl4dfsg-1_mips.deb2014-07-31 10:58 373K 
[   ]libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb2014-07-27 22:14 373K 
[   ]libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb2014-07-27 13:28 1.4M 
[   ]libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb2014-09-06 13:57 372K 
[   ]libcoq-ocaml_8.6-4_amd64.deb2016-12-29 19:56 3.3M 
[   ]libcoq-ocaml_8.6-4_arm64.deb2016-12-29 20:57 3.3M 
[   ]libcoq-ocaml_8.6-4_armel.deb2016-12-29 22:12 3.4M 
[   ]libcoq-ocaml_8.6-4_armhf.deb2016-12-29 22:12 3.4M 
[   ]libcoq-ocaml_8.6-4_i386.deb2016-12-29 20:57 3.2M 
[   ]libcoq-ocaml_8.6-4_mips.deb2016-12-30 02:57 2.3M 
[   ]libcoq-ocaml_8.6-4_mips64el.deb2016-12-30 09:29 2.3M 
[   ]libcoq-ocaml_8.6-4_mipsel.deb2016-12-30 02:57 2.3M 
[   ]libcoq-ocaml_8.6-4_ppc64el.deb2016-12-29 22:57 2.3M 
[   ]libcoq-ocaml_8.6-4_s390x.deb2016-12-30 00:27 2.3M