Index of /pub/debian-archive/debian/pool/main/c/coq
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
coq-libs_8.0pl2-2_all.deb 2005-04-30 12:54 3.6M
coq-libs_8.0pl3-2_all.deb 2006-02-19 12:32 3.6M
coq-libs_8.1.pl3+dfsg-1_all.deb 2008-01-05 09:32 12M
coq-theories_8.2.pl2+dfsg-1_all.deb 2010-07-02 16:19 18M
coq-theories_8.3.pl4+dfsg-2_all.deb 2012-06-06 07:32 52M
coq-theories_8.4pl4dfsg-1_all.deb 2014-07-27 16:26 31M
coq-theories_8.6-4_amd64.deb 2016-12-30 00:56 30M
coq-theories_8.6-4_arm64.deb 2016-12-30 01:57 22M
coq-theories_8.6-4_armel.deb 2016-12-30 03:12 22M
coq-theories_8.6-4_armhf.deb 2016-12-30 03:12 22M
coq-theories_8.6-4_i386.deb 2016-12-30 01:57 29M
coq-theories_8.6-4_mips.deb 2016-12-30 07:57 22M
coq-theories_8.6-4_mips64el.deb 2016-12-30 14:29 22M
coq-theories_8.6-4_mipsel.deb 2016-12-30 07:57 22M
coq-theories_8.6-4_ppc64el.deb 2016-12-30 03:57 22M
coq-theories_8.6-4_s390x.deb 2016-12-30 05:27 22M
coq-theories_8.9.0-1_amd64.deb 2019-02-06 18:49 28M
coq-theories_8.9.0-1_arm64.deb 2019-02-06 20:26 19M
coq-theories_8.9.0-1_armel.deb 2019-02-07 01:44 19M
coq-theories_8.9.0-1_armhf.deb 2019-02-07 21:15 19M
coq-theories_8.9.0-1_i386.deb 2019-02-06 20:21 27M
coq-theories_8.9.0-1_mips.deb 2019-02-07 03:15 19M
coq-theories_8.9.0-1_mips64el.deb 2019-02-09 08:29 19M
coq-theories_8.9.0-1_mipsel.deb 2019-02-07 00:59 19M
coq-theories_8.9.0-1_ppc64el.deb 2019-02-06 20:00 19M
coq-theories_8.9.0-1_s390x.deb 2019-02-06 20:00 19M
coq7-libs_8.0pl2-2_all.deb 2005-03-31 23:17 3.6M
coq7-libs_8.0pl3-2_all.deb 2006-02-19 12:32 3.6M
coqide_8.0pl2-2_alpha.deb 2005-04-01 04:17 1.9M
coqide_8.0pl2-2_arm.deb 2005-04-09 01:18 1.9M
coqide_8.0pl2-2_hppa.deb 2005-04-01 02:32 4.5M
coqide_8.0pl2-2_i386.deb 2005-03-31 23:17 3.9M
coqide_8.0pl2-2_ia64.deb 2005-04-01 02:47 1.9M
coqide_8.0pl2-2_m68k.deb 2005-04-02 11:17 1.9M
coqide_8.0pl2-2_mips.deb 2005-04-04 19:02 1.9M
coqide_8.0pl2-2_mipsel.deb 2005-04-01 04:02 1.9M
coqide_8.0pl2-2_powerpc.deb 2005-04-01 01:02 4.3M
coqide_8.0pl2-2_s390.deb 2005-04-01 09:32 1.9M
coqide_8.0pl2-2_sparc.deb 2005-04-01 03:17 4.4M
coqide_8.0pl3-2_alpha.deb 2006-02-20 17:02 1.3M
coqide_8.0pl3-2_amd64.deb 2006-03-31 16:02 3.5M
coqide_8.0pl3-2_arm.deb 2006-02-20 02:47 1.3M
coqide_8.0pl3-2_hppa.deb 2006-02-19 17:47 1.3M
coqide_8.0pl3-2_i386.deb 2006-02-19 12:32 3.3M
coqide_8.0pl3-2_ia64.deb 2006-02-19 17:47 1.3M
coqide_8.0pl3-2_m68k.deb 2006-02-23 18:02 1.3M
coqide_8.0pl3-2_mips.deb 2006-02-20 17:02 1.3M
coqide_8.0pl3-2_mipsel.deb 2006-02-20 17:02 1.3M
coqide_8.0pl3-2_powerpc.deb 2006-02-20 17:02 3.7M
coqide_8.0pl3-2_s390.deb 2006-02-19 21:47 1.3M
coqide_8.0pl3-2_sparc.deb 2006-02-20 02:47 3.8M
coqide_8.1.pl3+dfsg-1+b2_alpha.deb 2008-05-24 19:02 2.4M
coqide_8.1.pl3+dfsg-1+b2_amd64.deb 2008-05-23 17:17 5.0M
coqide_8.1.pl3+dfsg-1+b2_arm.deb 2008-05-25 10:02 2.3M
coqide_8.1.pl3+dfsg-1+b2_armel.deb 2008-05-25 00:17 2.3M
coqide_8.1.pl3+dfsg-1+b2_hppa.deb 2008-05-29 13:32 2.3M
coqide_8.1.pl3+dfsg-1+b2_i386.deb 2008-05-26 15:17 4.7M
coqide_8.1.pl3+dfsg-1+b2_ia64.deb 2008-05-27 13:32 2.4M
coqide_8.1.pl3+dfsg-1+b2_mips.deb 2008-05-27 17:17 2.3M
coqide_8.1.pl3+dfsg-1+b2_mipsel.deb 2008-05-24 19:02 2.3M
coqide_8.1.pl3+dfsg-1+b2_powerpc.deb 2008-05-28 18:47 5.2M
coqide_8.1.pl3+dfsg-1+b2_s390.deb 2008-05-25 19:47 2.4M
coqide_8.1.pl3+dfsg-1+b2_sparc.deb 2008-05-24 10:02 5.3M
coqide_8.2.pl2+dfsg-1_amd64.deb 2010-07-02 16:19 6.2M
coqide_8.2.pl2+dfsg-1_armel.deb 2010-07-03 21:17 2.3M
coqide_8.2.pl2+dfsg-1_i386.deb 2010-07-02 18:03 5.7M
coqide_8.2.pl2+dfsg-1_ia64.deb 2010-07-03 21:47 2.3M
coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 2010-07-04 14:48 6.2M
coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb 2010-07-04 14:18 5.7M
coqide_8.2.pl2+dfsg-1_mips.deb 2010-07-04 13:48 2.3M
coqide_8.2.pl2+dfsg-1_mipsel.deb 2010-07-03 07:32 2.3M
coqide_8.2.pl2+dfsg-1_powerpc.deb 2010-07-03 17:42 6.3M
coqide_8.2.pl2+dfsg-1_s390.deb 2010-07-03 17:42 2.3M
coqide_8.2.pl2+dfsg-1_sparc.deb 2010-07-04 14:18 6.3M
coqide_8.3.pl4+dfsg-2_amd64.deb 2012-06-06 07:32 5.4M
coqide_8.3.pl4+dfsg-2_armel.deb 2012-06-06 11:47 5.9M
coqide_8.3.pl4+dfsg-2_armhf.deb 2012-06-06 16:32 2.4M
coqide_8.3.pl4+dfsg-2_i386.deb 2012-06-06 08:32 5.0M
coqide_8.3.pl4+dfsg-2_ia64.deb 2012-06-07 20:03 2.4M
coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 2012-06-06 21:48 5.4M
coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb 2012-06-06 11:17 5.0M
coqide_8.3.pl4+dfsg-2_mips.deb 2012-06-08 16:19 2.4M
coqide_8.3.pl4+dfsg-2_mipsel.deb 2012-06-06 13:32 2.4M
coqide_8.3.pl4+dfsg-2_powerpc.deb 2012-06-06 10:02 5.4M
coqide_8.3.pl4+dfsg-2_s390.deb 2012-06-06 11:17 2.4M
coqide_8.3.pl4+dfsg-2_s390x.deb 2012-06-06 12:17 2.4M
coqide_8.3.pl4+dfsg-2_sparc.deb 2012-06-06 11:32 5.2M
coqide_8.4pl4dfsg-1+b1_s390x.deb 2014-08-27 03:42 250K
coqide_8.4pl4dfsg-1_amd64.deb 2014-07-27 16:26 779K
coqide_8.4pl4dfsg-1_arm64.deb 2014-09-11 04:27 249K
coqide_8.4pl4dfsg-1_armel.deb 2014-07-27 19:28 780K
coqide_8.4pl4dfsg-1_armhf.deb 2014-07-27 22:28 804K
coqide_8.4pl4dfsg-1_i386.deb 2014-07-27 17:57 714K
coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb 2014-07-27 17:57 777K
coqide_8.4pl4dfsg-1_kfreebsd-i386.deb 2014-07-27 18:12 712K
coqide_8.4pl4dfsg-1_mips.deb 2014-07-31 15:58 249K
coqide_8.4pl4dfsg-1_mipsel.deb 2014-07-28 03:14 249K
coqide_8.4pl4dfsg-1_powerpc.deb 2014-07-27 18:28 679K
coqide_8.4pl4dfsg-1_ppc64el.deb 2014-09-06 18:57 249K
coqide_8.6-4_amd64.deb 2016-12-30 00:56 1.3M
coqide_8.6-4_arm64.deb 2016-12-30 01:57 1.4M
coqide_8.6-4_armel.deb 2016-12-30 03:12 1.4M
coqide_8.6-4_armhf.deb 2016-12-30 03:12 1.4M
coqide_8.6-4_i386.deb 2016-12-30 01:57 1.3M
coqide_8.6-4_mips.deb 2016-12-30 07:57 1.8M
coqide_8.6-4_mips64el.deb 2016-12-30 14:29 1.8M
coqide_8.6-4_mipsel.deb 2016-12-30 07:57 1.8M
coqide_8.6-4_ppc64el.deb 2016-12-30 03:57 1.8M
coqide_8.6-4_s390x.deb 2016-12-30 05:27 1.8M
![[ ]](/icons/compressed.gif)
coq_7.2-9.diff.gz 2002-02-15 19:24 4.5K
![[TXT]](/icons/text.gif)
coq_7.2-9.dsc 2002-02-15 19:15 614
coq_7.2-9_alpha.deb 2002-02-16 18:22 8.5M
coq_7.2-9_arm.deb 2002-02-16 11:41 8.1M
coq_7.2-9_hppa.deb 2002-02-16 18:11 7.0M
coq_7.2-9_i386.deb 2002-02-15 19:24 7.8M
coq_7.2-9_ia64.deb 2002-02-16 18:11 9.5M
coq_7.2-9_m68k.deb 2002-02-18 11:12 6.8M
coq_7.2-9_mips.deb 2002-02-16 18:33 6.9M
coq_7.2-9_mipsel.deb 2002-02-16 18:32 6.9M
coq_7.2-9_powerpc.deb 2002-02-16 18:36 6.9M
coq_7.2-9_s390.deb 2002-02-16 14:14 6.9M
coq_7.2-9_sparc.deb 2002-02-16 18:32 6.9M
coq_7.2.orig.tar.gz 2002-01-18 21:26 1.1M
coq_8.0pl2-2.diff.gz 2005-04-30 12:54 11K
coq_8.0pl2-2.dsc 2005-04-30 12:54 919
coq_8.0pl2-2_alpha.deb 2005-04-01 04:17 2.8M
coq_8.0pl2-2_arm.deb 2005-04-09 01:18 2.7M
coq_8.0pl2-2_hppa.deb 2005-04-01 02:32 7.0M
coq_8.0pl2-2_i386.deb 2005-03-31 23:17 5.8M
coq_8.0pl2-2_ia64.deb 2005-04-01 02:47 3.0M
coq_8.0pl2-2_m68k.deb 2005-04-02 11:17 2.6M
coq_8.0pl2-2_mips.deb 2005-04-04 19:02 2.7M
coq_8.0pl2-2_mipsel.deb 2005-04-01 04:02 2.7M
coq_8.0pl2-2_powerpc.deb 2005-04-01 01:02 6.6M
coq_8.0pl2-2_s390.deb 2005-04-01 09:32 2.8M
coq_8.0pl2-2_sparc.deb 2005-04-01 03:17 6.7M
coq_8.0pl2.orig.tar.gz 2005-04-30 12:54 2.2M
coq_8.0pl3-2.diff.gz 2006-02-19 12:32 16K
coq_8.0pl3-2.dsc 2006-02-19 12:32 891
coq_8.0pl3-2_alpha.deb 2006-02-20 17:02 2.9M
coq_8.0pl3-2_amd64.deb 2006-03-31 16:02 6.2M
coq_8.0pl3-2_arm.deb 2006-02-20 02:47 2.7M
coq_8.0pl3-2_hppa.deb 2006-02-19 17:47 2.8M
coq_8.0pl3-2_i386.deb 2006-02-19 12:32 5.8M
coq_8.0pl3-2_ia64.deb 2006-02-19 17:47 3.0M
coq_8.0pl3-2_m68k.deb 2006-02-23 18:02 2.6M
coq_8.0pl3-2_mips.deb 2006-02-20 17:02 2.8M
coq_8.0pl3-2_mipsel.deb 2006-02-20 17:02 2.8M
coq_8.0pl3-2_powerpc.deb 2006-02-20 17:02 6.6M
coq_8.0pl3-2_s390.deb 2006-02-19 21:47 2.8M
coq_8.0pl3-2_sparc.deb 2006-02-20 02:47 6.7M
coq_8.0pl3.orig.tar.gz 2006-01-23 22:02 2.2M
coq_8.1.pl3+dfsg-1+b2_alpha.deb 2008-05-24 19:02 4.1M
coq_8.1.pl3+dfsg-1+b2_amd64.deb 2008-05-23 17:17 8.6M
coq_8.1.pl3+dfsg-1+b2_arm.deb 2008-05-25 10:02 4.0M
coq_8.1.pl3+dfsg-1+b2_armel.deb 2008-05-25 00:17 4.0M
coq_8.1.pl3+dfsg-1+b2_hppa.deb 2008-05-29 13:32 4.1M
coq_8.1.pl3+dfsg-1+b2_i386.deb 2008-05-26 15:17 8.1M
coq_8.1.pl3+dfsg-1+b2_ia64.deb 2008-05-27 13:32 4.3M
coq_8.1.pl3+dfsg-1+b2_mips.deb 2008-05-27 17:17 4.0M
coq_8.1.pl3+dfsg-1+b2_mipsel.deb 2008-05-24 19:02 4.0M
coq_8.1.pl3+dfsg-1+b2_powerpc.deb 2008-05-28 18:47 9.0M
coq_8.1.pl3+dfsg-1+b2_s390.deb 2008-05-25 19:47 4.1M
coq_8.1.pl3+dfsg-1+b2_sparc.deb 2008-05-24 10:02 9.0M
coq_8.1.pl3+dfsg-1.diff.gz 2008-01-05 09:32 15K
coq_8.1.pl3+dfsg-1.dsc 2008-01-05 09:32 1.0K
coq_8.1.pl3+dfsg.orig.tar.gz 2008-01-05 09:32 2.4M
coq_8.2.pl2+dfsg-1.debian.tar.gz 2010-07-02 16:19 16K
coq_8.2.pl2+dfsg-1.dsc 2010-07-02 16:19 2.1K
coq_8.2.pl2+dfsg-1_amd64.deb 2010-07-02 16:19 15M
coq_8.2.pl2+dfsg-1_armel.deb 2010-07-03 21:17 3.5M
coq_8.2.pl2+dfsg-1_i386.deb 2010-07-02 18:03 13M
coq_8.2.pl2+dfsg-1_ia64.deb 2010-07-03 21:47 3.5M
coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 2010-07-04 14:48 15M
coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb 2010-07-04 14:18 13M
coq_8.2.pl2+dfsg-1_mips.deb 2010-07-04 13:48 3.5M
coq_8.2.pl2+dfsg-1_mipsel.deb 2010-07-03 07:32 3.5M
coq_8.2.pl2+dfsg-1_powerpc.deb 2010-07-03 17:42 15M
coq_8.2.pl2+dfsg-1_s390.deb 2010-07-03 17:42 3.5M
coq_8.2.pl2+dfsg-1_sparc.deb 2010-07-04 14:18 15M
coq_8.2.pl2+dfsg.orig.tar.gz 2010-07-02 16:19 3.0M
coq_8.3.pl4+dfsg-2.debian.tar.gz 2012-06-06 07:32 16K
coq_8.3.pl4+dfsg-2.dsc 2012-06-06 07:32 2.3K
coq_8.3.pl4+dfsg-2_amd64.deb 2012-06-06 07:32 5.4M
coq_8.3.pl4+dfsg-2_armel.deb 2012-06-06 11:47 5.8M
coq_8.3.pl4+dfsg-2_armhf.deb 2012-06-06 16:32 1.7M
coq_8.3.pl4+dfsg-2_i386.deb 2012-06-06 08:32 4.8M
coq_8.3.pl4+dfsg-2_ia64.deb 2012-06-07 20:03 1.7M
coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 2012-06-06 21:48 5.4M
coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb 2012-06-06 11:17 4.8M
coq_8.3.pl4+dfsg-2_mips.deb 2012-06-08 16:19 1.7M
coq_8.3.pl4+dfsg-2_mipsel.deb 2012-06-06 13:32 1.7M
coq_8.3.pl4+dfsg-2_powerpc.deb 2012-06-06 10:02 5.3M
coq_8.3.pl4+dfsg-2_s390.deb 2012-06-06 11:17 1.7M
coq_8.3.pl4+dfsg-2_s390x.deb 2012-06-06 12:17 1.7M
coq_8.3.pl4+dfsg-2_sparc.deb 2012-06-06 11:32 5.2M
coq_8.3.pl4+dfsg.orig.tar.gz 2012-03-27 08:02 3.0M
coq_8.4pl4dfsg-1+b1_s390x.deb 2014-08-27 03:42 1.1M
coq_8.4pl4dfsg-1.debian.tar.xz 2014-07-27 16:26 15K
coq_8.4pl4dfsg-1.dsc 2014-07-27 16:26 2.3K
coq_8.4pl4dfsg-1_amd64.deb 2014-07-27 16:26 3.9M
coq_8.4pl4dfsg-1_arm64.deb 2014-09-11 04:27 1.1M
coq_8.4pl4dfsg-1_armel.deb 2014-07-27 19:28 3.7M
coq_8.4pl4dfsg-1_armhf.deb 2014-07-27 22:28 3.7M
coq_8.4pl4dfsg-1_i386.deb 2014-07-27 17:57 3.6M
coq_8.4pl4dfsg-1_kfreebsd-amd64.deb 2014-07-27 17:57 4.0M
coq_8.4pl4dfsg-1_kfreebsd-i386.deb 2014-07-27 18:12 3.7M
coq_8.4pl4dfsg-1_mips.deb 2014-07-31 15:58 1.1M
coq_8.4pl4dfsg-1_mipsel.deb 2014-07-28 03:14 1.1M
coq_8.4pl4dfsg-1_powerpc.deb 2014-07-27 18:28 3.4M
coq_8.4pl4dfsg-1_ppc64el.deb 2014-09-06 18:57 1.1M
coq_8.4pl4dfsg.orig.tar.gz 2014-07-27 16:26 3.4M
coq_8.6-4.debian.tar.xz 2016-12-30 00:56 21K
coq_8.6-4.dsc 2016-12-30 00:56 2.3K
coq_8.6-4_amd64.deb 2016-12-30 00:56 13M
coq_8.6-4_arm64.deb 2016-12-30 01:57 13M
coq_8.6-4_armel.deb 2016-12-30 03:12 13M
coq_8.6-4_armhf.deb 2016-12-30 03:12 13M
coq_8.6-4_i386.deb 2016-12-30 01:57 13M
coq_8.6-4_mips.deb 2016-12-30 07:57 18M
coq_8.6-4_mips64el.deb 2016-12-30 14:29 18M
coq_8.6-4_mipsel.deb 2016-12-30 07:57 18M
coq_8.6-4_ppc64el.deb 2016-12-30 03:57 18M
coq_8.6-4_s390x.deb 2016-12-30 05:27 18M
coq_8.6.orig.tar.gz 2016-12-28 13:44 4.8M
coq_8.9.0-1.debian.tar.xz 2019-02-06 18:49 27K
coq_8.9.0-1.dsc 2019-02-06 18:49 2.4K
coq_8.9.0-1_amd64.deb 2019-02-06 18:49 56M
coq_8.9.0-1_arm64.deb 2019-02-06 20:26 60M
coq_8.9.0-1_armel.deb 2019-02-07 01:44 48M
coq_8.9.0-1_armhf.deb 2019-02-07 21:15 55M
coq_8.9.0-1_i386.deb 2019-02-06 20:21 54M
coq_8.9.0-1_mips.deb 2019-02-07 03:15 48M
coq_8.9.0-1_mips64el.deb 2019-02-09 08:29 48M
coq_8.9.0-1_mipsel.deb 2019-02-07 00:59 48M
coq_8.9.0-1_ppc64el.deb 2019-02-06 20:00 58M
coq_8.9.0-1_s390x.deb 2019-02-06 20:00 56M
coq_8.9.0.orig.tar.gz 2019-02-06 18:49 5.1M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb 2010-07-02 16:19 5.8M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb 2010-07-03 21:17 1.9M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb 2010-07-02 18:03 5.7M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb 2010-07-03 21:47 1.9M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 2010-07-04 14:48 5.8M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb 2010-07-04 14:18 5.6M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb 2010-07-04 13:48 1.9M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb 2010-07-03 07:32 1.9M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb 2010-07-03 17:42 6.7M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb 2010-07-03 17:42 1.9M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb 2010-07-04 14:18 6.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 2012-06-06 07:32 5.6M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb 2012-06-06 11:47 7.2M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb 2012-06-06 16:32 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 2012-06-06 08:32 5.5M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_ia64.deb 2012-06-07 20:03 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 2012-06-06 21:48 5.6M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb 2012-06-06 11:17 5.5M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mips.deb 2012-06-08 16:19 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb 2012-06-06 13:32 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb 2012-06-06 10:02 6.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390.deb 2012-06-06 11:17 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb 2012-06-06 12:17 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb 2012-06-06 11:32 6.1M
libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb 2014-08-27 03:42 1.2M
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 2014-07-27 16:26 3.6M
libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb 2014-09-11 04:27 1.2M
libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb 2014-07-27 19:28 3.9M
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 2014-07-27 22:28 3.8M
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 2014-07-27 17:57 3.6M
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb 2014-07-27 17:57 3.5M
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb 2014-07-27 18:12 3.5M
libcoq-ocaml-dev_8.4pl4dfsg-1_mips.deb 2014-07-31 15:58 1.2M
libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb 2014-07-28 03:14 1.2M
libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb 2014-07-27 18:28 3.5M
libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb 2014-09-06 18:57 1.2M
libcoq-ocaml-dev_8.6-4_amd64.deb 2016-12-30 00:56 13M
libcoq-ocaml-dev_8.6-4_arm64.deb 2016-12-30 01:57 13M
libcoq-ocaml-dev_8.6-4_armel.deb 2016-12-30 03:12 13M
libcoq-ocaml-dev_8.6-4_armhf.deb 2016-12-30 03:12 13M
libcoq-ocaml-dev_8.6-4_i386.deb 2016-12-30 01:57 13M
libcoq-ocaml-dev_8.6-4_mips.deb 2016-12-30 07:57 9.6M
libcoq-ocaml-dev_8.6-4_mips64el.deb 2016-12-30 14:29 9.6M
libcoq-ocaml-dev_8.6-4_mipsel.deb 2016-12-30 07:57 9.6M
libcoq-ocaml-dev_8.6-4_ppc64el.deb 2016-12-30 03:57 9.6M
libcoq-ocaml-dev_8.6-4_s390x.deb 2016-12-30 05:27 9.6M
libcoq-ocaml-dev_8.9.0-1_amd64.deb 2019-02-06 18:49 13M
libcoq-ocaml-dev_8.9.0-1_arm64.deb 2019-02-06 20:26 13M
libcoq-ocaml-dev_8.9.0-1_armel.deb 2019-02-07 01:44 7.6M
libcoq-ocaml-dev_8.9.0-1_armhf.deb 2019-02-07 21:15 14M
libcoq-ocaml-dev_8.9.0-1_i386.deb 2019-02-06 20:21 13M
libcoq-ocaml-dev_8.9.0-1_mips.deb 2019-02-07 03:15 7.6M
libcoq-ocaml-dev_8.9.0-1_mips64el.deb 2019-02-09 08:29 7.6M
libcoq-ocaml-dev_8.9.0-1_mipsel.deb 2019-02-07 00:59 7.6M
libcoq-ocaml-dev_8.9.0-1_ppc64el.deb 2019-02-06 20:00 13M
libcoq-ocaml-dev_8.9.0-1_s390x.deb 2019-02-06 20:00 13M
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 2012-06-06 07:32 2.0M
libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb 2012-06-06 11:47 521K
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb 2012-06-06 16:32 524K
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 2012-06-06 08:32 1.8M
libcoq-ocaml_8.3.pl4+dfsg-2_ia64.deb 2012-06-07 20:03 524K
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 2012-06-06 21:48 2.0M
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb 2012-06-06 11:17 1.8M
libcoq-ocaml_8.3.pl4+dfsg-2_mips.deb 2012-06-08 16:19 521K
libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb 2012-06-06 13:32 521K
libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb 2012-06-06 10:02 2.0M
libcoq-ocaml_8.3.pl4+dfsg-2_s390.deb 2012-06-06 11:17 520K
libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb 2012-06-06 12:17 524K
libcoq-ocaml_8.3.pl4+dfsg-2_sparc.deb 2012-06-06 11:32 2.0M
libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb 2014-08-27 03:42 374K
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 2014-07-27 16:26 1.6M
libcoq-ocaml_8.4pl4dfsg-1_arm64.deb 2014-09-11 04:27 371K
libcoq-ocaml_8.4pl4dfsg-1_armel.deb 2014-07-27 19:28 1.5M
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 2014-07-27 22:28 1.5M
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 2014-07-27 17:57 1.4M
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb 2014-07-27 17:57 1.6M
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb 2014-07-27 18:12 1.4M
libcoq-ocaml_8.4pl4dfsg-1_mips.deb 2014-07-31 15:58 373K
libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb 2014-07-28 03:14 373K
libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb 2014-07-27 18:28 1.4M
libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb 2014-09-06 18:57 372K
libcoq-ocaml_8.6-4_amd64.deb 2016-12-30 00:56 3.3M
libcoq-ocaml_8.6-4_arm64.deb 2016-12-30 01:57 3.3M
libcoq-ocaml_8.6-4_armel.deb 2016-12-30 03:12 3.4M
libcoq-ocaml_8.6-4_armhf.deb 2016-12-30 03:12 3.4M
libcoq-ocaml_8.6-4_i386.deb 2016-12-30 01:57 3.2M
libcoq-ocaml_8.6-4_mips.deb 2016-12-30 07:57 2.3M
libcoq-ocaml_8.6-4_mips64el.deb 2016-12-30 14:29 2.3M
libcoq-ocaml_8.6-4_mipsel.deb 2016-12-30 07:57 2.3M
libcoq-ocaml_8.6-4_ppc64el.deb 2016-12-30 03:57 2.3M
libcoq-ocaml_8.6-4_s390x.deb 2016-12-30 05:27 2.3M
libcoq-ocaml_8.9.0-1_amd64.deb 2019-02-06 18:49 5.2M
libcoq-ocaml_8.9.0-1_arm64.deb 2019-02-06 20:26 5.5M
libcoq-ocaml_8.9.0-1_armel.deb 2019-02-07 01:44 3.4M
libcoq-ocaml_8.9.0-1_armhf.deb 2019-02-07 21:15 5.1M
libcoq-ocaml_8.9.0-1_i386.deb 2019-02-06 20:21 4.9M
libcoq-ocaml_8.9.0-1_mips.deb 2019-02-07 03:15 3.4M
libcoq-ocaml_8.9.0-1_mips64el.deb 2019-02-09 08:29 3.4M
libcoq-ocaml_8.9.0-1_mipsel.deb 2019-02-07 00:59 3.4M
libcoq-ocaml_8.9.0-1_ppc64el.deb 2019-02-06 20:00 5.3M
libcoq-ocaml_8.9.0-1_s390x.deb 2019-02-06 20:00 5.3M