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