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