| ../ | | - | 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.12.0-3+b3_amd64.deb | 2020-Nov-25 07:28:14 | 34.8M | application/vnd.debian.binary-package |
| coq-theories_8.12.0-3+b3_arm64.deb | 2020-Nov-25 07:58:53 | 22.8M | application/vnd.debian.binary-package |
| coq-theories_8.12.0-3+b3_armel.deb | 2020-Nov-25 17:44:45 | 22.8M | application/vnd.debian.binary-package |
| coq-theories_8.12.0-3+b3_armhf.deb | 2020-Nov-25 07:43:49 | 22.8M | application/vnd.debian.binary-package |
| coq-theories_8.12.0-3+b3_mips64el.deb | 2020-Nov-25 16:41:38 | 22.8M | application/vnd.debian.binary-package |
| coq-theories_8.12.0-3+b3_ppc64el.deb | 2020-Nov-25 07:28:18 | 22.8M | 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_mips64el.deb | 2016-Dec-30 14:29:37 | 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 |
| coq-theories_8.9.0-1_amd64.deb | 2019-Feb-06 18:49:32 | 28.3M | application/vnd.debian.binary-package |
| coq-theories_8.9.0-1_arm64.deb | 2019-Feb-06 20:26:11 | 19.4M | application/vnd.debian.binary-package |
| coq-theories_8.9.0-1_armel.deb | 2019-Feb-07 01:44:42 | 19.4M | application/vnd.debian.binary-package |
| coq-theories_8.9.0-1_armhf.deb | 2019-Feb-07 21:15:09 | 19.4M | application/vnd.debian.binary-package |
| coq-theories_8.9.0-1_mips64el.deb | 2019-Feb-09 08:29:53 | 19.4M | application/vnd.debian.binary-package |
| coq-theories_8.9.0-1_ppc64el.deb | 2019-Feb-06 20:00:14 | 19.4M | application/vnd.debian.binary-package |
| coq-theories_8.9.0-1_s390x.deb | 2019-Feb-06 20:00:15 | 19.4M | 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_m68k.deb | 2002-Feb-18 11:12:24 | 6.8M | 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.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_m68k.deb | 2005-Apr-02 11:17:08 | 2.6M | 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.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_m68k.deb | 2006-Feb-23 18:02:06 | 2.6M | 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.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_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.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.12.0-3+b3_amd64.deb | 2020-Nov-25 07:28:15 | 86.2M | application/vnd.debian.binary-package |
| coq_8.12.0-3+b3_arm64.deb | 2020-Nov-25 07:58:54 | 91.6M | application/vnd.debian.binary-package |
| coq_8.12.0-3+b3_armel.deb | 2020-Nov-25 17:44:45 | 100.9M | application/vnd.debian.binary-package |
| coq_8.12.0-3+b3_armhf.deb | 2020-Nov-25 07:43:49 | 84.2M | application/vnd.debian.binary-package |
| coq_8.12.0-3+b3_mips64el.deb | 2020-Nov-25 16:41:38 | 100.9M | application/vnd.debian.binary-package |
| coq_8.12.0-3+b3_ppc64el.deb | 2020-Nov-25 07:28:18 | 87.2M | application/vnd.debian.binary-package |
| coq_8.12.0-3.debian.tar.xz | 2020-Sep-10 07:38:30 | 36.9K | application/x-xz |
| coq_8.12.0-3.dsc | 2020-Sep-10 07:38:30 | 2.4K | application/octet-stream |
| coq_8.12.0.orig.tar.gz | 2020-Aug-22 10:26:38 | 5.7M | 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_kfreebsd-amd64.deb | 2010-Jul-04 14:48:15 | 14.6M | 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.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_kfreebsd-amd64.deb | 2012-Jun-06 21:48:09 | 5.4M | 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.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_kfreebsd-amd64.deb | 2014-Jul-27 17:57:52 | 4.0M | 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_mips64el.deb | 2016-Dec-30 14:29:37 | 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 |
| coq_8.9.0-1.debian.tar.xz | 2019-Feb-06 18:49:32 | 27.1K | application/x-xz |
| coq_8.9.0-1.dsc | 2019-Feb-06 18:49:32 | 2.3K | application/octet-stream |
| coq_8.9.0-1_amd64.deb | 2019-Feb-06 18:49:32 | 56.2M | application/vnd.debian.binary-package |
| coq_8.9.0-1_arm64.deb | 2019-Feb-06 20:26:11 | 60.4M | application/vnd.debian.binary-package |
| coq_8.9.0-1_armel.deb | 2019-Feb-07 01:44:42 | 47.7M | application/vnd.debian.binary-package |
| coq_8.9.0-1_armhf.deb | 2019-Feb-07 21:15:09 | 54.6M | application/vnd.debian.binary-package |
| coq_8.9.0-1_mips64el.deb | 2019-Feb-09 08:29:53 | 47.7M | application/vnd.debian.binary-package |
| coq_8.9.0-1_ppc64el.deb | 2019-Feb-06 20:00:14 | 57.5M | application/vnd.debian.binary-package |
| coq_8.9.0-1_s390x.deb | 2019-Feb-06 20:00:15 | 56.4M | application/vnd.debian.binary-package |
| coq_8.9.0.orig.tar.gz | 2019-Feb-06 18:49:32 | 5.1M | 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_m68k.deb | 2005-Apr-02 11:17:08 | 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.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_m68k.deb | 2006-Feb-23 18:02:06 | 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.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_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.12.0-3+b3_amd64.deb | 2020-Nov-25 07:28:15 | 1.8M | application/vnd.debian.binary-package |
| coqide_8.12.0-3+b3_arm64.deb | 2020-Nov-25 07:58:54 | 2.0M | application/vnd.debian.binary-package |
| coqide_8.12.0-3+b3_armel.deb | 2020-Nov-25 17:44:45 | 45.6K | application/vnd.debian.binary-package |
| coqide_8.12.0-3+b3_armhf.deb | 2020-Nov-25 07:43:49 | 1.6M | application/vnd.debian.binary-package |
| coqide_8.12.0-3+b3_mips64el.deb | 2020-Nov-25 16:41:38 | 45.6K | application/vnd.debian.binary-package |
| coqide_8.12.0-3+b3_ppc64el.deb | 2020-Nov-25 07:28:18 | 1.8M | 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_kfreebsd-amd64.deb | 2010-Jul-04 14:48:15 | 6.2M | 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.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_kfreebsd-amd64.deb | 2012-Jun-06 21:48:09 | 5.3M | 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.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_kfreebsd-amd64.deb | 2014-Jul-27 17:57:52 | 777.3K | 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_mips64el.deb | 2016-Dec-30 14:29:37 | 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.12.0-3+b3_amd64.deb | 2020-Nov-25 07:28:15 | 17.8M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb | 2020-Nov-25 07:58:54 | 17.8M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.12.0-3+b3_armel.deb | 2020-Nov-25 17:44:46 | 10.7M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb | 2020-Nov-25 07:43:50 | 18.3M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb | 2020-Nov-25 16:41:38 | 10.7M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb | 2020-Nov-25 07:28:18 | 18.5M | 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_kfreebsd-amd64.deb | 2010-Jul-04 14:48:15 | 5.7M | 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.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_kfreebsd-amd64.deb | 2012-Jun-06 21:48:09 | 5.6M | 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.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_kfreebsd-amd64.deb | 2014-Jul-27 17:57:52 | 3.5M | 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_mips64el.deb | 2016-Dec-30 14:29:37 | 9.5M | 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-dev_8.9.0-1_amd64.deb | 2019-Feb-06 18:49:32 | 13.0M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.9.0-1_arm64.deb | 2019-Feb-06 20:26:12 | 13.3M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.9.0-1_armel.deb | 2019-Feb-07 01:44:42 | 7.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.9.0-1_armhf.deb | 2019-Feb-07 21:15:09 | 13.7M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.9.0-1_mips64el.deb | 2019-Feb-09 08:29:53 | 7.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.9.0-1_ppc64el.deb | 2019-Feb-06 20:00:14 | 13.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.9.0-1_s390x.deb | 2019-Feb-06 20:00:16 | 13.1M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.12.0-3+b3_amd64.deb | 2020-Nov-25 07:28:15 | 7.4M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.12.0-3+b3_arm64.deb | 2020-Nov-25 07:58:54 | 7.6M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.12.0-3+b3_armel.deb | 2020-Nov-25 17:44:46 | 5.2M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.12.0-3+b3_armhf.deb | 2020-Nov-25 07:43:50 | 7.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.12.0-3+b3_mips64el.deb | 2020-Nov-25 16:41:38 | 5.2M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.12.0-3+b3_ppc64el.deb | 2020-Nov-25 07:28:18 | 7.4M | 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_kfreebsd-amd64.deb | 2012-Jun-06 21:48:09 | 2.0M | 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.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_kfreebsd-amd64.deb | 2014-Jul-27 17:57:52 | 1.5M | 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_mips64el.deb | 2016-Dec-30 14:29:37 | 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 |
| libcoq-ocaml_8.9.0-1_amd64.deb | 2019-Feb-06 18:49:32 | 5.2M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.9.0-1_arm64.deb | 2019-Feb-06 20:26:12 | 5.5M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.9.0-1_armel.deb | 2019-Feb-07 01:44:42 | 3.4M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.9.0-1_armhf.deb | 2019-Feb-07 21:15:09 | 5.1M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.9.0-1_mips64el.deb | 2019-Feb-09 08:29:53 | 3.4M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.9.0-1_ppc64el.deb | 2019-Feb-06 20:00:14 | 5.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.9.0-1_s390x.deb | 2019-Feb-06 20:00:16 | 5.2M | application/vnd.debian.binary-package |