| ../ | | - | Directory |
| coq-libs_8.0pl2-2_all.deb | 2005-Apr-30 12:54:09 | 3.5M | application/vnd.debian.binary-package |
| coq-libs_8.0pl3-2_all.deb | 2006-Feb-19 12:32:04 | 3.5M | application/vnd.debian.binary-package |
| coq-libs_8.1.pl3+dfsg-1_all.deb | 2008-Jan-05 09:32:01 | 12.0M | application/vnd.debian.binary-package |
| coq-theories_8.2.pl2+dfsg-1_all.deb | 2010-Jul-02 16:19:48 | 17.5M | application/vnd.debian.binary-package |
| coq-theories_8.3.pl4+dfsg-2_all.deb | 2012-Jun-06 07:32:23 | 51.9M | application/vnd.debian.binary-package |
| coq-theories_8.4pl4dfsg-1_all.deb | 2014-Jul-27 16:26:59 | 30.7M | application/vnd.debian.binary-package |
| coq-theories_8.6-4_amd64.deb | 2016-Dec-30 00:56:57 | 29.9M | application/vnd.debian.binary-package |
| coq-theories_8.6-4_arm64.deb | 2016-Dec-30 01:57:08 | 21.8M | application/vnd.debian.binary-package |
| coq-theories_8.6-4_armel.deb | 2016-Dec-30 03:12:15 | 21.8M | application/vnd.debian.binary-package |
| coq-theories_8.6-4_armhf.deb | 2016-Dec-30 03:12:14 | 21.8M | application/vnd.debian.binary-package |
| coq-theories_8.6-4_i386.deb | 2016-Dec-30 01:57:06 | 28.9M | application/vnd.debian.binary-package |
| coq-theories_8.6-4_mips.deb | 2016-Dec-30 07:57:44 | 21.8M | application/vnd.debian.binary-package |
| coq-theories_8.6-4_mips64el.deb | 2016-Dec-30 14:29:37 | 21.8M | application/vnd.debian.binary-package |
| coq-theories_8.6-4_mipsel.deb | 2016-Dec-30 07:57:43 | 21.8M | application/vnd.debian.binary-package |
| coq-theories_8.6-4_ppc64el.deb | 2016-Dec-30 03:57:19 | 21.8M | application/vnd.debian.binary-package |
| coq-theories_8.6-4_s390x.deb | 2016-Dec-30 05:27:37 | 21.8M | application/vnd.debian.binary-package |
| coq7-libs_8.0pl2-2_all.deb | 2005-Mar-31 23:17:09 | 3.6M | application/vnd.debian.binary-package |
| coq7-libs_8.0pl3-2_all.deb | 2006-Feb-19 12:32:04 | 3.6M | application/vnd.debian.binary-package |
| coq_7.2-9.diff.gz | 2002-Feb-15 19:24:06 | 4.5K | application/gzip |
| coq_7.2-9.dsc | 2002-Feb-15 19:15:54 | 0.6K | application/octet-stream |
| coq_7.2-9_alpha.deb | 2002-Feb-16 18:22:09 | 8.4M | application/vnd.debian.binary-package |
| coq_7.2-9_arm.deb | 2002-Feb-16 11:41:20 | 8.0M | application/vnd.debian.binary-package |
| coq_7.2-9_hppa.deb | 2002-Feb-16 18:11:46 | 6.9M | application/vnd.debian.binary-package |
| coq_7.2-9_i386.deb | 2002-Feb-15 19:24:05 | 7.8M | application/vnd.debian.binary-package |
| coq_7.2-9_ia64.deb | 2002-Feb-16 18:11:56 | 9.4M | application/vnd.debian.binary-package |
| coq_7.2-9_m68k.deb | 2002-Feb-18 11:12:24 | 6.8M | application/vnd.debian.binary-package |
| coq_7.2-9_mips.deb | 2002-Feb-16 18:33:05 | 6.9M | application/vnd.debian.binary-package |
| coq_7.2-9_mipsel.deb | 2002-Feb-16 18:32:43 | 6.9M | application/vnd.debian.binary-package |
| coq_7.2-9_powerpc.deb | 2002-Feb-16 18:36:03 | 6.8M | application/vnd.debian.binary-package |
| coq_7.2-9_s390.deb | 2002-Feb-16 14:14:05 | 6.8M | application/vnd.debian.binary-package |
| coq_7.2-9_sparc.deb | 2002-Feb-16 18:32:34 | 6.9M | application/vnd.debian.binary-package |
| coq_7.2.orig.tar.gz | 2002-Jan-18 21:26:16 | 1.1M | application/x-gtar-compressed |
| coq_8.0pl2-2.diff.gz | 2005-Apr-30 12:54:09 | 10.8K | application/gzip |
| coq_8.0pl2-2.dsc | 2005-Apr-30 12:54:09 | 0.9K | application/octet-stream |
| coq_8.0pl2-2_alpha.deb | 2005-Apr-01 04:17:02 | 2.8M | application/vnd.debian.binary-package |
| coq_8.0pl2-2_arm.deb | 2005-Apr-09 01:18:07 | 2.6M | application/vnd.debian.binary-package |
| coq_8.0pl2-2_hppa.deb | 2005-Apr-01 02:32:04 | 6.9M | application/vnd.debian.binary-package |
| coq_8.0pl2-2_i386.deb | 2005-Mar-31 23:17:09 | 5.7M | application/vnd.debian.binary-package |
| coq_8.0pl2-2_ia64.deb | 2005-Apr-01 02:47:09 | 2.9M | application/vnd.debian.binary-package |
| coq_8.0pl2-2_m68k.deb | 2005-Apr-02 11:17:08 | 2.6M | application/vnd.debian.binary-package |
| coq_8.0pl2-2_mips.deb | 2005-Apr-04 19:02:11 | 2.7M | application/vnd.debian.binary-package |
| coq_8.0pl2-2_mipsel.deb | 2005-Apr-01 04:02:02 | 2.7M | application/vnd.debian.binary-package |
| coq_8.0pl2-2_powerpc.deb | 2005-Apr-01 01:02:20 | 6.5M | application/vnd.debian.binary-package |
| coq_8.0pl2-2_s390.deb | 2005-Apr-01 09:32:04 | 2.8M | application/vnd.debian.binary-package |
| coq_8.0pl2-2_sparc.deb | 2005-Apr-01 03:17:23 | 6.6M | application/vnd.debian.binary-package |
| coq_8.0pl2.orig.tar.gz | 2005-Apr-30 12:54:09 | 2.1M | application/x-gtar-compressed |
| coq_8.0pl3-2.diff.gz | 2006-Feb-19 12:32:04 | 15.9K | application/gzip |
| coq_8.0pl3-2.dsc | 2006-Feb-19 12:32:04 | 0.8K | application/octet-stream |
| coq_8.0pl3-2_alpha.deb | 2006-Feb-20 17:02:31 | 2.8M | application/vnd.debian.binary-package |
| coq_8.0pl3-2_amd64.deb | 2006-Mar-31 16:02:06 | 6.2M | application/vnd.debian.binary-package |
| coq_8.0pl3-2_arm.deb | 2006-Feb-20 02:47:06 | 2.7M | application/vnd.debian.binary-package |
| coq_8.0pl3-2_hppa.deb | 2006-Feb-19 17:47:15 | 2.8M | application/vnd.debian.binary-package |
| coq_8.0pl3-2_i386.deb | 2006-Feb-19 12:32:04 | 5.8M | application/vnd.debian.binary-package |
| coq_8.0pl3-2_ia64.deb | 2006-Feb-19 17:47:15 | 3.0M | application/vnd.debian.binary-package |
| coq_8.0pl3-2_m68k.deb | 2006-Feb-23 18:02:06 | 2.6M | application/vnd.debian.binary-package |
| coq_8.0pl3-2_mips.deb | 2006-Feb-20 17:02:32 | 2.8M | application/vnd.debian.binary-package |
| coq_8.0pl3-2_mipsel.deb | 2006-Feb-20 17:02:33 | 2.8M | application/vnd.debian.binary-package |
| coq_8.0pl3-2_powerpc.deb | 2006-Feb-20 17:02:34 | 6.6M | application/vnd.debian.binary-package |
| coq_8.0pl3-2_s390.deb | 2006-Feb-19 21:47:16 | 2.8M | application/vnd.debian.binary-package |
| coq_8.0pl3-2_sparc.deb | 2006-Feb-20 02:47:07 | 6.7M | application/vnd.debian.binary-package |
| coq_8.0pl3.orig.tar.gz | 2006-Jan-23 22:02:24 | 2.2M | application/x-gtar-compressed |
| coq_8.1.pl3+dfsg-1+b2_alpha.deb | 2008-May-24 19:02:14 | 4.1M | application/vnd.debian.binary-package |
| coq_8.1.pl3+dfsg-1+b2_amd64.deb | 2008-May-23 17:17:02 | 8.6M | application/vnd.debian.binary-package |
| coq_8.1.pl3+dfsg-1+b2_arm.deb | 2008-May-25 10:02:10 | 3.9M | application/vnd.debian.binary-package |
| coq_8.1.pl3+dfsg-1+b2_armel.deb | 2008-May-25 00:17:01 | 4.0M | application/vnd.debian.binary-package |
| coq_8.1.pl3+dfsg-1+b2_hppa.deb | 2008-May-29 13:32:11 | 4.0M | application/vnd.debian.binary-package |
| coq_8.1.pl3+dfsg-1+b2_i386.deb | 2008-May-26 15:17:09 | 8.0M | application/vnd.debian.binary-package |
| coq_8.1.pl3+dfsg-1+b2_ia64.deb | 2008-May-27 13:32:02 | 4.2M | application/vnd.debian.binary-package |
| coq_8.1.pl3+dfsg-1+b2_mips.deb | 2008-May-27 17:17:05 | 4.0M | application/vnd.debian.binary-package |
| coq_8.1.pl3+dfsg-1+b2_mipsel.deb | 2008-May-24 19:02:15 | 4.0M | application/vnd.debian.binary-package |
| coq_8.1.pl3+dfsg-1+b2_powerpc.deb | 2008-May-28 18:47:12 | 9.0M | application/vnd.debian.binary-package |
| coq_8.1.pl3+dfsg-1+b2_s390.deb | 2008-May-25 19:47:05 | 4.1M | application/vnd.debian.binary-package |
| coq_8.1.pl3+dfsg-1+b2_sparc.deb | 2008-May-24 10:02:03 | 9.0M | application/vnd.debian.binary-package |
| coq_8.1.pl3+dfsg-1.diff.gz | 2008-Jan-05 09:32:01 | 15.2K | application/gzip |
| coq_8.1.pl3+dfsg-1.dsc | 2008-Jan-05 09:32:01 | 1.0K | application/octet-stream |
| coq_8.1.pl3+dfsg.orig.tar.gz | 2008-Jan-05 09:32:01 | 2.4M | application/x-gtar-compressed |
| coq_8.2.pl2+dfsg-1.debian.tar.gz | 2010-Jul-02 16:19:47 | 16.3K | application/x-gtar-compressed |
| coq_8.2.pl2+dfsg-1.dsc | 2010-Jul-02 16:19:47 | 2.1K | application/octet-stream |
| coq_8.2.pl2+dfsg-1_amd64.deb | 2010-Jul-02 16:19:47 | 14.6M | application/vnd.debian.binary-package |
| coq_8.2.pl2+dfsg-1_armel.deb | 2010-Jul-03 21:17:16 | 3.5M | application/vnd.debian.binary-package |
| coq_8.2.pl2+dfsg-1_i386.deb | 2010-Jul-02 18:03:18 | 13.0M | application/vnd.debian.binary-package |
| coq_8.2.pl2+dfsg-1_ia64.deb | 2010-Jul-03 21:47:28 | 3.5M | application/vnd.debian.binary-package |
| coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb | 2010-Jul-04 14:48:15 | 14.6M | application/vnd.debian.binary-package |
| coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb | 2010-Jul-04 14:18:43 | 13.0M | application/vnd.debian.binary-package |
| coq_8.2.pl2+dfsg-1_mips.deb | 2010-Jul-04 13:48:29 | 3.5M | application/vnd.debian.binary-package |
| coq_8.2.pl2+dfsg-1_mipsel.deb | 2010-Jul-03 07:32:26 | 3.5M | application/vnd.debian.binary-package |
| coq_8.2.pl2+dfsg-1_powerpc.deb | 2010-Jul-03 17:42:41 | 14.6M | application/vnd.debian.binary-package |
| coq_8.2.pl2+dfsg-1_s390.deb | 2010-Jul-03 17:42:46 | 3.5M | application/vnd.debian.binary-package |
| coq_8.2.pl2+dfsg-1_sparc.deb | 2010-Jul-04 14:18:49 | 14.7M | application/vnd.debian.binary-package |
| coq_8.2.pl2+dfsg.orig.tar.gz | 2010-Jul-02 16:19:49 | 2.9M | application/x-gtar-compressed |
| coq_8.3.pl4+dfsg-2.debian.tar.gz | 2012-Jun-06 07:32:23 | 15.9K | application/x-gtar-compressed |
| coq_8.3.pl4+dfsg-2.dsc | 2012-Jun-06 07:32:23 | 2.2K | application/octet-stream |
| coq_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-06 07:32:23 | 5.4M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_armel.deb | 2012-Jun-06 11:47:07 | 5.8M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_armhf.deb | 2012-Jun-06 16:32:08 | 1.7M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-06 08:32:07 | 4.8M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_ia64.deb | 2012-Jun-07 20:03:42 | 1.7M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb | 2012-Jun-06 21:48:09 | 5.4M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb | 2012-Jun-06 11:17:07 | 4.8M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_mips.deb | 2012-Jun-08 16:19:25 | 1.7M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_mipsel.deb | 2012-Jun-06 13:32:07 | 1.7M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_powerpc.deb | 2012-Jun-06 10:02:55 | 5.3M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_s390.deb | 2012-Jun-06 11:17:23 | 1.7M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_s390x.deb | 2012-Jun-06 12:17:11 | 1.7M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_sparc.deb | 2012-Jun-06 11:32:07 | 5.1M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg.orig.tar.gz | 2012-Mar-27 08:02:34 | 3.0M | application/x-gtar-compressed |
| coq_8.4pl4dfsg-1+b1_s390x.deb | 2014-Aug-27 03:42:11 | 1.1M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-1.debian.tar.xz | 2014-Jul-27 16:26:59 | 15.3K | application/x-xz |
| coq_8.4pl4dfsg-1.dsc | 2014-Jul-27 16:26:59 | 2.3K | application/octet-stream |
| coq_8.4pl4dfsg-1_amd64.deb | 2014-Jul-27 16:26:59 | 3.8M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-1_arm64.deb | 2014-Sep-11 04:27:48 | 1.1M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-1_armel.deb | 2014-Jul-27 19:28:13 | 3.6M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-1_armhf.deb | 2014-Jul-27 22:28:40 | 3.7M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-1_i386.deb | 2014-Jul-27 17:57:54 | 3.6M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-1_kfreebsd-amd64.deb | 2014-Jul-27 17:57:52 | 4.0M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-1_kfreebsd-i386.deb | 2014-Jul-27 18:12:57 | 3.7M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-1_mips.deb | 2014-Jul-31 15:58:07 | 1.1M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-1_mipsel.deb | 2014-Jul-28 03:14:55 | 1.1M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-1_powerpc.deb | 2014-Jul-27 18:28:03 | 3.3M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-1_ppc64el.deb | 2014-Sep-06 18:57:40 | 1.1M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg.orig.tar.gz | 2014-Jul-27 16:26:59 | 3.3M | application/x-gtar-compressed |
| coq_8.6-4.debian.tar.xz | 2016-Dec-30 00:56:57 | 21.4K | application/x-xz |
| coq_8.6-4.dsc | 2016-Dec-30 00:56:57 | 2.3K | application/octet-stream |
| coq_8.6-4_amd64.deb | 2016-Dec-30 00:56:57 | 13.3M | application/vnd.debian.binary-package |
| coq_8.6-4_arm64.deb | 2016-Dec-30 01:57:08 | 13.1M | application/vnd.debian.binary-package |
| coq_8.6-4_armel.deb | 2016-Dec-30 03:12:15 | 13.2M | application/vnd.debian.binary-package |
| coq_8.6-4_armhf.deb | 2016-Dec-30 03:12:14 | 13.2M | application/vnd.debian.binary-package |
| coq_8.6-4_i386.deb | 2016-Dec-30 01:57:06 | 12.9M | application/vnd.debian.binary-package |
| coq_8.6-4_mips.deb | 2016-Dec-30 07:57:44 | 18.2M | application/vnd.debian.binary-package |
| coq_8.6-4_mips64el.deb | 2016-Dec-30 14:29:37 | 18.2M | application/vnd.debian.binary-package |
| coq_8.6-4_mipsel.deb | 2016-Dec-30 07:57:43 | 18.2M | application/vnd.debian.binary-package |
| coq_8.6-4_ppc64el.deb | 2016-Dec-30 03:57:19 | 18.2M | application/vnd.debian.binary-package |
| coq_8.6-4_s390x.deb | 2016-Dec-30 05:27:37 | 18.2M | application/vnd.debian.binary-package |
| coq_8.6.orig.tar.gz | 2016-Dec-28 13:44:02 | 4.7M | application/x-gtar-compressed |
| coqide_8.0pl2-2_alpha.deb | 2005-Apr-01 04:17:02 | 1.9M | application/vnd.debian.binary-package |
| coqide_8.0pl2-2_arm.deb | 2005-Apr-09 01:18:07 | 1.8M | application/vnd.debian.binary-package |
| coqide_8.0pl2-2_hppa.deb | 2005-Apr-01 02:32:04 | 4.5M | application/vnd.debian.binary-package |
| coqide_8.0pl2-2_i386.deb | 2005-Mar-31 23:17:09 | 3.8M | application/vnd.debian.binary-package |
| coqide_8.0pl2-2_ia64.deb | 2005-Apr-01 02:47:09 | 1.9M | application/vnd.debian.binary-package |
| coqide_8.0pl2-2_m68k.deb | 2005-Apr-02 11:17:08 | 1.8M | application/vnd.debian.binary-package |
| coqide_8.0pl2-2_mips.deb | 2005-Apr-04 19:02:11 | 1.8M | application/vnd.debian.binary-package |
| coqide_8.0pl2-2_mipsel.deb | 2005-Apr-01 04:02:02 | 1.8M | application/vnd.debian.binary-package |
| coqide_8.0pl2-2_powerpc.deb | 2005-Apr-01 01:02:20 | 4.3M | application/vnd.debian.binary-package |
| coqide_8.0pl2-2_s390.deb | 2005-Apr-01 09:32:04 | 1.9M | application/vnd.debian.binary-package |
| coqide_8.0pl2-2_sparc.deb | 2005-Apr-01 03:17:23 | 4.3M | application/vnd.debian.binary-package |
| coqide_8.0pl3-2_alpha.deb | 2006-Feb-20 17:02:31 | 1.3M | application/vnd.debian.binary-package |
| coqide_8.0pl3-2_amd64.deb | 2006-Mar-31 16:02:06 | 3.5M | application/vnd.debian.binary-package |
| coqide_8.0pl3-2_arm.deb | 2006-Feb-20 02:47:06 | 1.2M | application/vnd.debian.binary-package |
| coqide_8.0pl3-2_hppa.deb | 2006-Feb-19 17:47:15 | 1.3M | application/vnd.debian.binary-package |
| coqide_8.0pl3-2_i386.deb | 2006-Feb-19 12:32:04 | 3.2M | application/vnd.debian.binary-package |
| coqide_8.0pl3-2_ia64.deb | 2006-Feb-19 17:47:15 | 1.3M | application/vnd.debian.binary-package |
| coqide_8.0pl3-2_m68k.deb | 2006-Feb-23 18:02:06 | 1.2M | application/vnd.debian.binary-package |
| coqide_8.0pl3-2_mips.deb | 2006-Feb-20 17:02:32 | 1.2M | application/vnd.debian.binary-package |
| coqide_8.0pl3-2_mipsel.deb | 2006-Feb-20 17:02:33 | 1.2M | application/vnd.debian.binary-package |
| coqide_8.0pl3-2_powerpc.deb | 2006-Feb-20 17:02:33 | 3.7M | application/vnd.debian.binary-package |
| coqide_8.0pl3-2_s390.deb | 2006-Feb-19 21:47:16 | 1.3M | application/vnd.debian.binary-package |
| coqide_8.0pl3-2_sparc.deb | 2006-Feb-20 02:47:07 | 3.8M | application/vnd.debian.binary-package |
| coqide_8.1.pl3+dfsg-1+b2_alpha.deb | 2008-May-24 19:02:14 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.1.pl3+dfsg-1+b2_amd64.deb | 2008-May-23 17:17:02 | 4.9M | application/vnd.debian.binary-package |
| coqide_8.1.pl3+dfsg-1+b2_arm.deb | 2008-May-25 10:02:10 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.1.pl3+dfsg-1+b2_armel.deb | 2008-May-25 00:17:01 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.1.pl3+dfsg-1+b2_hppa.deb | 2008-May-29 13:32:11 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.1.pl3+dfsg-1+b2_i386.deb | 2008-May-26 15:17:09 | 4.7M | application/vnd.debian.binary-package |
| coqide_8.1.pl3+dfsg-1+b2_ia64.deb | 2008-May-27 13:32:02 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.1.pl3+dfsg-1+b2_mips.deb | 2008-May-27 17:17:04 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.1.pl3+dfsg-1+b2_mipsel.deb | 2008-May-24 19:02:15 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.1.pl3+dfsg-1+b2_powerpc.deb | 2008-May-28 18:47:12 | 5.2M | application/vnd.debian.binary-package |
| coqide_8.1.pl3+dfsg-1+b2_s390.deb | 2008-May-25 19:47:05 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.1.pl3+dfsg-1+b2_sparc.deb | 2008-May-24 10:02:03 | 5.2M | application/vnd.debian.binary-package |
| coqide_8.2.pl2+dfsg-1_amd64.deb | 2010-Jul-02 16:19:49 | 6.2M | application/vnd.debian.binary-package |
| coqide_8.2.pl2+dfsg-1_armel.deb | 2010-Jul-03 21:17:16 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.2.pl2+dfsg-1_i386.deb | 2010-Jul-02 18:03:18 | 5.7M | application/vnd.debian.binary-package |
| coqide_8.2.pl2+dfsg-1_ia64.deb | 2010-Jul-03 21:47:28 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb | 2010-Jul-04 14:48:15 | 6.2M | application/vnd.debian.binary-package |
| coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb | 2010-Jul-04 14:18:43 | 5.7M | application/vnd.debian.binary-package |
| coqide_8.2.pl2+dfsg-1_mips.deb | 2010-Jul-04 13:48:29 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.2.pl2+dfsg-1_mipsel.deb | 2010-Jul-03 07:32:26 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.2.pl2+dfsg-1_powerpc.deb | 2010-Jul-03 17:42:41 | 6.2M | application/vnd.debian.binary-package |
| coqide_8.2.pl2+dfsg-1_s390.deb | 2010-Jul-03 17:42:46 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.2.pl2+dfsg-1_sparc.deb | 2010-Jul-04 14:18:49 | 6.3M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-06 07:32:23 | 5.3M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_armel.deb | 2012-Jun-06 11:47:07 | 5.8M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_armhf.deb | 2012-Jun-06 16:32:08 | 2.4M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-06 08:32:07 | 4.9M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_ia64.deb | 2012-Jun-07 20:03:42 | 2.4M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb | 2012-Jun-06 21:48:09 | 5.3M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb | 2012-Jun-06 11:17:07 | 4.9M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_mips.deb | 2012-Jun-08 16:19:25 | 2.4M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_mipsel.deb | 2012-Jun-06 13:32:07 | 2.4M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_powerpc.deb | 2012-Jun-06 10:02:55 | 5.3M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_s390.deb | 2012-Jun-06 11:17:23 | 2.4M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_s390x.deb | 2012-Jun-06 12:17:11 | 2.4M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_sparc.deb | 2012-Jun-06 11:32:07 | 5.2M | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1+b1_s390x.deb | 2014-Aug-27 03:42:11 | 249.6K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1_amd64.deb | 2014-Jul-27 16:26:59 | 778.6K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1_arm64.deb | 2014-Sep-11 04:27:48 | 249.3K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1_armel.deb | 2014-Jul-27 19:28:13 | 779.6K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1_armhf.deb | 2014-Jul-27 22:28:40 | 803.7K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1_i386.deb | 2014-Jul-27 17:57:54 | 713.6K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb | 2014-Jul-27 17:57:52 | 777.3K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1_kfreebsd-i386.deb | 2014-Jul-27 18:12:57 | 712.0K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1_mips.deb | 2014-Jul-31 15:58:07 | 249.2K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1_mipsel.deb | 2014-Jul-28 03:14:55 | 249.2K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1_powerpc.deb | 2014-Jul-27 18:28:03 | 679.3K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1_ppc64el.deb | 2014-Sep-06 18:57:40 | 249.4K | application/vnd.debian.binary-package |
| coqide_8.6-4_amd64.deb | 2016-Dec-30 00:56:57 | 1.3M | application/vnd.debian.binary-package |
| coqide_8.6-4_arm64.deb | 2016-Dec-30 01:57:08 | 1.3M | application/vnd.debian.binary-package |
| coqide_8.6-4_armel.deb | 2016-Dec-30 03:12:15 | 1.3M | application/vnd.debian.binary-package |
| coqide_8.6-4_armhf.deb | 2016-Dec-30 03:12:14 | 1.4M | application/vnd.debian.binary-package |
| coqide_8.6-4_i386.deb | 2016-Dec-30 01:57:06 | 1.2M | application/vnd.debian.binary-package |
| coqide_8.6-4_mips.deb | 2016-Dec-30 07:57:44 | 1.8M | application/vnd.debian.binary-package |
| coqide_8.6-4_mips64el.deb | 2016-Dec-30 14:29:37 | 1.8M | application/vnd.debian.binary-package |
| coqide_8.6-4_mipsel.deb | 2016-Dec-30 07:57:43 | 1.8M | application/vnd.debian.binary-package |
| coqide_8.6-4_ppc64el.deb | 2016-Dec-30 03:57:19 | 1.8M | application/vnd.debian.binary-package |
| coqide_8.6-4_s390x.deb | 2016-Dec-30 05:27:37 | 1.8M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb | 2010-Jul-02 16:19:47 | 5.8M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb | 2010-Jul-03 21:17:16 | 1.9M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb | 2010-Jul-02 18:03:18 | 5.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb | 2010-Jul-03 21:47:28 | 1.8M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb | 2010-Jul-04 14:48:15 | 5.7M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb | 2010-Jul-04 14:18:43 | 5.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb | 2010-Jul-04 13:48:29 | 1.8M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb | 2010-Jul-03 07:32:26 | 1.9M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb | 2010-Jul-03 17:42:41 | 6.7M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb | 2010-Jul-03 17:42:46 | 1.8M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb | 2010-Jul-04 14:18:49 | 6.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-06 07:32:23 | 5.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb | 2012-Jun-06 11:47:07 | 7.2M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb | 2012-Jun-06 16:32:08 | 2.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-06 08:32:07 | 5.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_ia64.deb | 2012-Jun-07 20:03:42 | 2.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb | 2012-Jun-06 21:48:09 | 5.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb | 2012-Jun-06 11:17:07 | 5.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_mips.deb | 2012-Jun-08 16:19:25 | 2.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb | 2012-Jun-06 13:32:07 | 2.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb | 2012-Jun-06 10:02:55 | 6.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390.deb | 2012-Jun-06 11:17:23 | 2.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb | 2012-Jun-06 12:17:11 | 2.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb | 2012-Jun-06 11:32:07 | 6.1M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb | 2014-Aug-27 03:42:11 | 1.2M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb | 2014-Jul-27 16:26:59 | 3.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb | 2014-Sep-11 04:27:48 | 1.2M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb | 2014-Jul-27 19:28:13 | 3.9M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb | 2014-Jul-27 22:28:40 | 3.8M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb | 2014-Jul-27 17:57:54 | 3.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb | 2014-Jul-27 17:57:52 | 3.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb | 2014-Jul-27 18:12:57 | 3.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1_mips.deb | 2014-Jul-31 15:58:07 | 1.2M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb | 2014-Jul-28 03:14:55 | 1.2M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb | 2014-Jul-27 18:28:03 | 3.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb | 2014-Sep-06 18:57:40 | 1.2M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-4_amd64.deb | 2016-Dec-30 00:56:57 | 12.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-4_arm64.deb | 2016-Dec-30 01:57:08 | 12.9M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-4_armel.deb | 2016-Dec-30 03:12:15 | 13.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-4_armhf.deb | 2016-Dec-30 03:12:14 | 13.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-4_i386.deb | 2016-Dec-30 01:57:06 | 12.7M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-4_mips.deb | 2016-Dec-30 07:57:44 | 9.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-4_mips64el.deb | 2016-Dec-30 14:29:37 | 9.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-4_mipsel.deb | 2016-Dec-30 07:57:43 | 9.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-4_ppc64el.deb | 2016-Dec-30 03:57:19 | 9.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-4_s390x.deb | 2016-Dec-30 05:27:37 | 9.6M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-06 07:32:23 | 2.0M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb | 2012-Jun-06 11:47:07 | 521.3K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb | 2012-Jun-06 16:32:08 | 524.1K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-06 08:32:07 | 1.7M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_ia64.deb | 2012-Jun-07 20:03:42 | 524.0K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb | 2012-Jun-06 21:48:09 | 2.0M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb | 2012-Jun-06 11:17:07 | 1.7M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_mips.deb | 2012-Jun-08 16:19:25 | 521.3K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb | 2012-Jun-06 13:32:07 | 520.6K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb | 2012-Jun-06 10:02:55 | 2.0M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_s390.deb | 2012-Jun-06 11:17:23 | 519.9K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb | 2012-Jun-06 12:17:11 | 524.3K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_sparc.deb | 2012-Jun-06 11:32:07 | 2.0M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb | 2014-Aug-27 03:42:11 | 373.9K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1_amd64.deb | 2014-Jul-27 16:26:59 | 1.5M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1_arm64.deb | 2014-Sep-11 04:27:48 | 371.3K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1_armel.deb | 2014-Jul-27 19:28:13 | 1.4M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1_armhf.deb | 2014-Jul-27 22:28:40 | 1.5M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1_i386.deb | 2014-Jul-27 17:57:54 | 1.4M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb | 2014-Jul-27 17:57:52 | 1.5M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb | 2014-Jul-27 18:12:57 | 1.4M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1_mips.deb | 2014-Jul-31 15:58:07 | 372.9K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb | 2014-Jul-28 03:14:55 | 372.7K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb | 2014-Jul-27 18:28:03 | 1.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb | 2014-Sep-06 18:57:40 | 372.2K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-4_amd64.deb | 2016-Dec-30 00:56:57 | 3.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-4_arm64.deb | 2016-Dec-30 01:57:08 | 3.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-4_armel.deb | 2016-Dec-30 03:12:15 | 3.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-4_armhf.deb | 2016-Dec-30 03:12:14 | 3.4M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-4_i386.deb | 2016-Dec-30 01:57:06 | 3.2M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-4_mips.deb | 2016-Dec-30 07:57:44 | 2.2M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-4_mips64el.deb | 2016-Dec-30 14:29:37 | 2.2M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-4_mipsel.deb | 2016-Dec-30 07:57:43 | 2.2M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-4_ppc64el.deb | 2016-Dec-30 03:57:19 | 2.2M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-4_s390x.deb | 2016-Dec-30 05:27:37 | 2.2M | application/vnd.debian.binary-package |