| Parent Directory/ | | - | Directory |
| coq-theories_8.12.0-3+b3_amd64.deb | 2020-Nov-25 08:28:14 | 34.8M | application/octet-stream |
| coq-theories_8.12.0-3+b3_arm64.deb | 2020-Nov-25 08:58:53 | 22.8M | application/octet-stream |
| coq-theories_8.12.0-3+b3_armhf.deb | 2020-Nov-25 08:43:49 | 22.8M | application/octet-stream |
| coq-theories_8.12.0-3+b3_i386.deb | 2020-Nov-25 08:18:08 | 33.6M | application/octet-stream |
| coq-theories_8.12.0-3+b3_mips64el.deb | 2020-Nov-25 17:41:38 | 22.8M | application/octet-stream |
| coq-theories_8.12.0-3+b3_mipsel.deb | 2020-Nov-26 01:43:20 | 22.8M | application/octet-stream |
| coq-theories_8.12.0-3+b3_ppc64el.deb | 2020-Nov-25 08:28:18 | 22.8M | application/octet-stream |
| coq-theories_8.3.pl4+dfsg-2_all.deb | 2012-Jun-06 08:32:23 | 51.9M | application/octet-stream |
| coq-theories_8.4pl4dfsg-1_all.deb | 2014-Jul-27 17:26:59 | 30.7M | application/octet-stream |
| coq-theories_8.5-2+b1_amd64.deb | 2016-Jun-09 15:00:09 | 31.4M | application/octet-stream |
| coq-theories_8.5-2+b1_arm64.deb | 2016-Jun-09 15:15:17 | 22.9M | application/octet-stream |
| coq-theories_8.5-2+b1_armhf.deb | 2016-Jun-09 17:01:28 | 22.9M | application/octet-stream |
| coq-theories_8.5-2+b1_i386.deb | 2016-Jun-09 14:50:01 | 30.3M | application/octet-stream |
| coq-theories_8.5-2+b1_mips.deb | 2016-Jun-10 02:58:32 | 22.9M | application/octet-stream |
| coq-theories_8.5-2+b1_mips64el.deb | 2016-Jun-10 23:18:06 | 22.9M | application/octet-stream |
| coq-theories_8.5-2+b1_mipsel.deb | 2016-Jun-10 05:45:30 | 22.9M | application/octet-stream |
| coq-theories_8.5-2+b1_ppc64el.deb | 2016-Jun-09 17:01:33 | 22.9M | application/octet-stream |
| coq-theories_8.6-4_amd64.deb | 2016-Dec-30 01:56:57 | 29.9M | application/octet-stream |
| coq-theories_8.6-4_arm64.deb | 2016-Dec-30 02:57:08 | 21.8M | application/octet-stream |
| coq-theories_8.6-4_armhf.deb | 2016-Dec-30 04:12:14 | 21.8M | application/octet-stream |
| coq-theories_8.6-4_i386.deb | 2016-Dec-30 02:57:06 | 28.9M | application/octet-stream |
| coq-theories_8.6-4_kfreebsd-amd64.deb | 2016-Dec-30 04:57:18 | 21.8M | application/octet-stream |
| coq-theories_8.6-4_kfreebsd-i386.deb | 2016-Dec-30 03:12:12 | 21.8M | application/octet-stream |
| coq-theories_8.6-4_mips.deb | 2016-Dec-30 08:57:44 | 21.8M | application/octet-stream |
| coq-theories_8.6-4_mips64el.deb | 2016-Dec-30 15:29:37 | 21.8M | application/octet-stream |
| coq-theories_8.6-4_mipsel.deb | 2016-Dec-30 08:57:43 | 21.8M | application/octet-stream |
| coq-theories_8.6-4_powerpc.deb | 2016-Dec-30 03:12:11 | 21.8M | application/octet-stream |
| coq-theories_8.6-4_ppc64el.deb | 2016-Dec-30 04:57:19 | 21.8M | application/octet-stream |
| coq-theories_8.9.0-1_amd64.deb | 2019-Feb-06 19:49:32 | 28.3M | application/octet-stream |
| coq-theories_8.9.0-1_arm64.deb | 2019-Feb-06 21:26:11 | 19.4M | application/octet-stream |
| coq-theories_8.9.0-1_armhf.deb | 2019-Feb-07 22:15:09 | 19.4M | application/octet-stream |
| coq-theories_8.9.0-1_i386.deb | 2019-Feb-06 21:21:01 | 27.1M | application/octet-stream |
| coq-theories_8.9.0-1_mips.deb | 2019-Feb-07 04:15:16 | 19.4M | application/octet-stream |
| coq-theories_8.9.0-1_mips64el.deb | 2019-Feb-09 09:29:53 | 19.4M | application/octet-stream |
| coq-theories_8.9.0-1_mipsel.deb | 2019-Feb-07 01:59:19 | 19.4M | application/octet-stream |
| coq-theories_8.9.0-1_ppc64el.deb | 2019-Feb-06 21:00:14 | 19.4M | application/octet-stream |
| coq_8.12.0-3+b3_amd64.deb | 2020-Nov-25 08:28:15 | 86.2M | application/octet-stream |
| coq_8.12.0-3+b3_arm64.deb | 2020-Nov-25 08:58:54 | 91.6M | application/octet-stream |
| coq_8.12.0-3+b3_armhf.deb | 2020-Nov-25 08:43:49 | 84.2M | application/octet-stream |
| coq_8.12.0-3+b3_i386.deb | 2020-Nov-25 08:18:08 | 83.8M | application/octet-stream |
| coq_8.12.0-3+b3_mips64el.deb | 2020-Nov-25 17:41:38 | 100.9M | application/octet-stream |
| coq_8.12.0-3+b3_mipsel.deb | 2020-Nov-26 01:43:21 | 100.9M | application/octet-stream |
| coq_8.12.0-3+b3_ppc64el.deb | 2020-Nov-25 08:28:18 | 87.2M | application/octet-stream |
| coq_8.12.0-3.debian.tar.xz | 2020-Sep-10 08:38:30 | 36.9K | application/octet-stream |
| coq_8.12.0-3.dsc | 2020-Sep-10 08:38:30 | 2.4K | application/octet-stream |
| coq_8.12.0.orig.tar.gz | 2020-Aug-22 11:26:38 | 5.7M | application/x-gzip |
| coq_8.3.pl4+dfsg-2.debian.tar.gz | 2012-Jun-06 08:32:23 | 15.9K | application/x-gzip |
| coq_8.3.pl4+dfsg-2.dsc | 2012-Jun-06 08:32:23 | 2.2K | application/octet-stream |
| coq_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-06 08:32:23 | 5.4M | application/octet-stream |
| coq_8.3.pl4+dfsg-2_armhf.deb | 2012-Jun-06 17:32:08 | 1.7M | application/octet-stream |
| coq_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-06 09:32:07 | 4.8M | application/octet-stream |
| coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb | 2012-Jun-06 22:48:09 | 5.4M | application/octet-stream |
| coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb | 2012-Jun-06 12:17:07 | 4.8M | application/octet-stream |
| coq_8.3.pl4+dfsg-2_mips.deb | 2012-Jun-08 17:19:25 | 1.7M | application/octet-stream |
| coq_8.3.pl4+dfsg-2_mipsel.deb | 2012-Jun-06 14:32:07 | 1.7M | application/octet-stream |
| coq_8.3.pl4+dfsg-2_powerpc.deb | 2012-Jun-06 11:02:55 | 5.3M | application/octet-stream |
| coq_8.3.pl4+dfsg.orig.tar.gz | 2012-Mar-27 09:02:34 | 3.0M | application/x-gzip |
| coq_8.4pl4dfsg-1.debian.tar.xz | 2014-Jul-27 17:26:59 | 15.3K | application/octet-stream |
| coq_8.4pl4dfsg-1.dsc | 2014-Jul-27 17:26:59 | 2.3K | application/octet-stream |
| coq_8.4pl4dfsg-1_amd64.deb | 2014-Jul-27 17:26:59 | 3.8M | application/octet-stream |
| coq_8.4pl4dfsg-1_arm64.deb | 2014-Sep-11 05:27:48 | 1.1M | application/octet-stream |
| coq_8.4pl4dfsg-1_armhf.deb | 2014-Jul-27 23:28:40 | 3.7M | application/octet-stream |
| coq_8.4pl4dfsg-1_i386.deb | 2014-Jul-27 18:57:54 | 3.6M | application/octet-stream |
| coq_8.4pl4dfsg-1_kfreebsd-amd64.deb | 2014-Jul-27 18:57:52 | 4.0M | application/octet-stream |
| coq_8.4pl4dfsg-1_kfreebsd-i386.deb | 2014-Jul-27 19:12:57 | 3.7M | application/octet-stream |
| coq_8.4pl4dfsg-1_mips.deb | 2014-Jul-31 16:58:07 | 1.1M | application/octet-stream |
| coq_8.4pl4dfsg-1_mipsel.deb | 2014-Jul-28 04:14:55 | 1.1M | application/octet-stream |
| coq_8.4pl4dfsg-1_powerpc.deb | 2014-Jul-27 19:28:03 | 3.3M | application/octet-stream |
| coq_8.4pl4dfsg-1_ppc64el.deb | 2014-Sep-06 19:57:40 | 1.1M | application/octet-stream |
| coq_8.4pl4dfsg.orig.tar.gz | 2014-Jul-27 17:26:59 | 3.3M | application/x-gzip |
| coq_8.5-2+b1_amd64.deb | 2016-Jun-09 15:00:10 | 12.3M | application/octet-stream |
| coq_8.5-2+b1_arm64.deb | 2016-Jun-09 15:15:17 | 12.2M | application/octet-stream |
| coq_8.5-2+b1_armhf.deb | 2016-Jun-09 17:01:29 | 12.1M | application/octet-stream |
| coq_8.5-2+b1_i386.deb | 2016-Jun-09 14:50:01 | 12.0M | application/octet-stream |
| coq_8.5-2+b1_mips.deb | 2016-Jun-10 02:58:32 | 17.6M | application/octet-stream |
| coq_8.5-2+b1_mips64el.deb | 2016-Jun-10 23:18:06 | 17.6M | application/octet-stream |
| coq_8.5-2+b1_mipsel.deb | 2016-Jun-10 05:45:30 | 17.6M | application/octet-stream |
| coq_8.5-2+b1_ppc64el.deb | 2016-Jun-09 17:01:33 | 17.6M | application/octet-stream |
| coq_8.5-2.debian.tar.xz | 2016-Jan-28 17:58:34 | 16.2K | application/octet-stream |
| coq_8.5-2.dsc | 2016-Jan-28 17:58:34 | 2.3K | application/octet-stream |
| coq_8.5.orig.tar.gz | 2016-Jan-26 17:43:20 | 4.6M | application/x-gzip |
| coq_8.6-4.debian.tar.xz | 2016-Dec-30 01:56:57 | 21.4K | application/octet-stream |
| coq_8.6-4.dsc | 2016-Dec-30 01:56:57 | 2.3K | application/octet-stream |
| coq_8.6-4_amd64.deb | 2016-Dec-30 01:56:57 | 13.3M | application/octet-stream |
| coq_8.6-4_arm64.deb | 2016-Dec-30 02:57:08 | 13.1M | application/octet-stream |
| coq_8.6-4_armhf.deb | 2016-Dec-30 04:12:14 | 13.2M | application/octet-stream |
| coq_8.6-4_i386.deb | 2016-Dec-30 02:57:06 | 12.9M | application/octet-stream |
| coq_8.6-4_kfreebsd-amd64.deb | 2016-Dec-30 04:57:18 | 12.5M | application/octet-stream |
| coq_8.6-4_kfreebsd-i386.deb | 2016-Dec-30 03:12:12 | 12.9M | application/octet-stream |
| coq_8.6-4_mips.deb | 2016-Dec-30 08:57:44 | 18.2M | application/octet-stream |
| coq_8.6-4_mips64el.deb | 2016-Dec-30 15:29:37 | 18.2M | application/octet-stream |
| coq_8.6-4_mipsel.deb | 2016-Dec-30 08:57:43 | 18.2M | application/octet-stream |
| coq_8.6-4_powerpc.deb | 2016-Dec-30 03:12:11 | 11.9M | application/octet-stream |
| coq_8.6-4_ppc64el.deb | 2016-Dec-30 04:57:19 | 18.2M | application/octet-stream |
| coq_8.6.orig.tar.gz | 2016-Dec-28 14:44:02 | 4.7M | application/x-gzip |
| coq_8.9.0-1.debian.tar.xz | 2019-Feb-06 19:49:32 | 27.1K | application/octet-stream |
| coq_8.9.0-1.dsc | 2019-Feb-06 19:49:32 | 2.3K | application/octet-stream |
| coq_8.9.0-1_amd64.deb | 2019-Feb-06 19:49:32 | 56.2M | application/octet-stream |
| coq_8.9.0-1_arm64.deb | 2019-Feb-06 21:26:11 | 60.4M | application/octet-stream |
| coq_8.9.0-1_armhf.deb | 2019-Feb-07 22:15:09 | 54.6M | application/octet-stream |
| coq_8.9.0-1_i386.deb | 2019-Feb-06 21:21:01 | 53.6M | application/octet-stream |
| coq_8.9.0-1_mips.deb | 2019-Feb-07 04:15:17 | 47.7M | application/octet-stream |
| coq_8.9.0-1_mips64el.deb | 2019-Feb-09 09:29:53 | 47.7M | application/octet-stream |
| coq_8.9.0-1_mipsel.deb | 2019-Feb-07 01:59:19 | 47.7M | application/octet-stream |
| coq_8.9.0-1_ppc64el.deb | 2019-Feb-06 21:00:14 | 57.5M | application/octet-stream |
| coq_8.9.0.orig.tar.gz | 2019-Feb-06 19:49:32 | 5.1M | application/x-gzip |
| coqide_8.12.0-3+b3_amd64.deb | 2020-Nov-25 08:28:15 | 1.8M | application/octet-stream |
| coqide_8.12.0-3+b3_arm64.deb | 2020-Nov-25 08:58:54 | 2.0M | application/octet-stream |
| coqide_8.12.0-3+b3_armhf.deb | 2020-Nov-25 08:43:49 | 1.6M | application/octet-stream |
| coqide_8.12.0-3+b3_i386.deb | 2020-Nov-25 08:18:08 | 1.6M | application/octet-stream |
| coqide_8.12.0-3+b3_mips64el.deb | 2020-Nov-25 17:41:38 | 45.6K | application/octet-stream |
| coqide_8.12.0-3+b3_mipsel.deb | 2020-Nov-26 01:43:21 | 45.6K | application/octet-stream |
| coqide_8.12.0-3+b3_ppc64el.deb | 2020-Nov-25 08:28:18 | 1.8M | application/octet-stream |
| coqide_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-06 08:32:23 | 5.3M | application/octet-stream |
| coqide_8.3.pl4+dfsg-2_armhf.deb | 2012-Jun-06 17:32:08 | 2.4M | application/octet-stream |
| coqide_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-06 09:32:07 | 4.9M | application/octet-stream |
| coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb | 2012-Jun-06 22:48:09 | 5.3M | application/octet-stream |
| coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb | 2012-Jun-06 12:17:07 | 4.9M | application/octet-stream |
| coqide_8.3.pl4+dfsg-2_mips.deb | 2012-Jun-08 17:19:25 | 2.4M | application/octet-stream |
| coqide_8.3.pl4+dfsg-2_mipsel.deb | 2012-Jun-06 14:32:07 | 2.4M | application/octet-stream |
| coqide_8.3.pl4+dfsg-2_powerpc.deb | 2012-Jun-06 11:02:55 | 5.3M | application/octet-stream |
| coqide_8.4pl4dfsg-1_amd64.deb | 2014-Jul-27 17:26:59 | 778.6K | application/octet-stream |
| coqide_8.4pl4dfsg-1_arm64.deb | 2014-Sep-11 05:27:48 | 249.3K | application/octet-stream |
| coqide_8.4pl4dfsg-1_armhf.deb | 2014-Jul-27 23:28:40 | 803.7K | application/octet-stream |
| coqide_8.4pl4dfsg-1_i386.deb | 2014-Jul-27 18:57:54 | 713.6K | application/octet-stream |
| coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb | 2014-Jul-27 18:57:52 | 777.3K | application/octet-stream |
| coqide_8.4pl4dfsg-1_kfreebsd-i386.deb | 2014-Jul-27 19:12:57 | 712.0K | application/octet-stream |
| coqide_8.4pl4dfsg-1_mips.deb | 2014-Jul-31 16:58:07 | 249.2K | application/octet-stream |
| coqide_8.4pl4dfsg-1_mipsel.deb | 2014-Jul-28 04:14:55 | 249.2K | application/octet-stream |
| coqide_8.4pl4dfsg-1_powerpc.deb | 2014-Jul-27 19:28:03 | 679.3K | application/octet-stream |
| coqide_8.4pl4dfsg-1_ppc64el.deb | 2014-Sep-06 19:57:40 | 249.4K | application/octet-stream |
| coqide_8.5-2+b1_amd64.deb | 2016-Jun-09 15:00:10 | 1.0M | application/octet-stream |
| coqide_8.5-2+b1_arm64.deb | 2016-Jun-09 15:15:17 | 1.1M | application/octet-stream |
| coqide_8.5-2+b1_armhf.deb | 2016-Jun-09 17:01:29 | 1.1M | application/octet-stream |
| coqide_8.5-2+b1_i386.deb | 2016-Jun-09 14:50:01 | 1.0M | application/octet-stream |
| coqide_8.5-2+b1_mips.deb | 2016-Jun-10 02:58:32 | 1.7M | application/octet-stream |
| coqide_8.5-2+b1_mips64el.deb | 2016-Jun-10 23:18:06 | 1.7M | application/octet-stream |
| coqide_8.5-2+b1_mipsel.deb | 2016-Jun-10 05:45:30 | 1.7M | application/octet-stream |
| coqide_8.5-2+b1_ppc64el.deb | 2016-Jun-09 17:01:33 | 1.7M | application/octet-stream |
| coqide_8.6-4_amd64.deb | 2016-Dec-30 01:56:57 | 1.3M | application/octet-stream |
| coqide_8.6-4_arm64.deb | 2016-Dec-30 02:57:08 | 1.3M | application/octet-stream |
| coqide_8.6-4_armhf.deb | 2016-Dec-30 04:12:14 | 1.4M | application/octet-stream |
| coqide_8.6-4_i386.deb | 2016-Dec-30 02:57:06 | 1.2M | application/octet-stream |
| coqide_8.6-4_kfreebsd-amd64.deb | 2016-Dec-30 04:57:18 | 1.1M | application/octet-stream |
| coqide_8.6-4_kfreebsd-i386.deb | 2016-Dec-30 03:12:12 | 1.2M | application/octet-stream |
| coqide_8.6-4_mips.deb | 2016-Dec-30 08:57:44 | 1.8M | application/octet-stream |
| coqide_8.6-4_mips64el.deb | 2016-Dec-30 15:29:37 | 1.8M | application/octet-stream |
| coqide_8.6-4_mipsel.deb | 2016-Dec-30 08:57:43 | 1.8M | application/octet-stream |
| coqide_8.6-4_powerpc.deb | 2016-Dec-30 03:12:11 | 1.1M | application/octet-stream |
| coqide_8.6-4_ppc64el.deb | 2016-Dec-30 04:57:19 | 1.8M | application/octet-stream |
| libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb | 2020-Nov-25 08:28:15 | 17.8M | application/octet-stream |
| libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb | 2020-Nov-25 08:58:54 | 17.8M | application/octet-stream |
| libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb | 2020-Nov-25 08:43:50 | 18.3M | application/octet-stream |
| libcoq-ocaml-dev_8.12.0-3+b3_i386.deb | 2020-Nov-25 08:18:08 | 17.8M | application/octet-stream |
| libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb | 2020-Nov-25 17:41:38 | 10.7M | application/octet-stream |
| libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb | 2020-Nov-26 01:43:21 | 10.7M | application/octet-stream |
| libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb | 2020-Nov-25 08:28:18 | 18.5M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-06 08:32:23 | 5.6M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb | 2012-Jun-06 17:32:08 | 2.4M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-06 09:32:07 | 5.5M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb | 2012-Jun-06 22:48:09 | 5.6M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb | 2012-Jun-06 12:17:07 | 5.5M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_mips.deb | 2012-Jun-08 17:19:25 | 2.4M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb | 2012-Jun-06 14:32:07 | 2.4M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb | 2012-Jun-06 11:02:55 | 6.4M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb | 2014-Jul-27 17:26:59 | 3.6M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb | 2014-Sep-11 05:27:48 | 1.2M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb | 2014-Jul-27 23:28:40 | 3.8M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb | 2014-Jul-27 18:57:54 | 3.6M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb | 2014-Jul-27 18:57:52 | 3.5M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb | 2014-Jul-27 19:12:57 | 3.5M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-1_mips.deb | 2014-Jul-31 16:58:07 | 1.2M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb | 2014-Jul-28 04:14:55 | 1.2M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb | 2014-Jul-27 19:28:03 | 3.5M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb | 2014-Sep-06 19:57:40 | 1.2M | application/octet-stream |
| libcoq-ocaml-dev_8.5-2+b1_amd64.deb | 2016-Jun-09 15:00:10 | 12.7M | application/octet-stream |
| libcoq-ocaml-dev_8.5-2+b1_arm64.deb | 2016-Jun-09 15:15:17 | 12.9M | application/octet-stream |
| libcoq-ocaml-dev_8.5-2+b1_armhf.deb | 2016-Jun-09 17:01:29 | 13.1M | application/octet-stream |
| libcoq-ocaml-dev_8.5-2+b1_i386.deb | 2016-Jun-09 14:50:01 | 12.7M | application/octet-stream |
| libcoq-ocaml-dev_8.5-2+b1_mips.deb | 2016-Jun-10 02:58:32 | 9.5M | application/octet-stream |
| libcoq-ocaml-dev_8.5-2+b1_mips64el.deb | 2016-Jun-10 23:18:06 | 9.5M | application/octet-stream |
| libcoq-ocaml-dev_8.5-2+b1_mipsel.deb | 2016-Jun-10 05:45:30 | 9.5M | application/octet-stream |
| libcoq-ocaml-dev_8.5-2+b1_ppc64el.deb | 2016-Jun-09 17:01:33 | 9.5M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_amd64.deb | 2016-Dec-30 01:56:57 | 12.6M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_arm64.deb | 2016-Dec-30 02:57:08 | 12.9M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_armhf.deb | 2016-Dec-30 04:12:14 | 13.5M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_i386.deb | 2016-Dec-30 02:57:06 | 12.7M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_kfreebsd-amd64.deb | 2016-Dec-30 04:57:18 | 12.6M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_kfreebsd-i386.deb | 2016-Dec-30 03:12:12 | 12.7M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_mips.deb | 2016-Dec-30 08:57:44 | 9.6M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_mips64el.deb | 2016-Dec-30 15:29:37 | 9.5M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_mipsel.deb | 2016-Dec-30 08:57:43 | 9.6M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_powerpc.deb | 2016-Dec-30 03:12:11 | 12.3M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_ppc64el.deb | 2016-Dec-30 04:57:19 | 9.6M | application/octet-stream |
| libcoq-ocaml-dev_8.9.0-1_amd64.deb | 2019-Feb-06 19:49:32 | 13.0M | application/octet-stream |
| libcoq-ocaml-dev_8.9.0-1_arm64.deb | 2019-Feb-06 21:26:12 | 13.3M | application/octet-stream |
| libcoq-ocaml-dev_8.9.0-1_armhf.deb | 2019-Feb-07 22:15:09 | 13.7M | application/octet-stream |
| libcoq-ocaml-dev_8.9.0-1_i386.deb | 2019-Feb-06 21:21:01 | 13.0M | application/octet-stream |
| libcoq-ocaml-dev_8.9.0-1_mips.deb | 2019-Feb-07 04:15:17 | 7.5M | application/octet-stream |
| libcoq-ocaml-dev_8.9.0-1_mips64el.deb | 2019-Feb-09 09:29:53 | 7.5M | application/octet-stream |
| libcoq-ocaml-dev_8.9.0-1_mipsel.deb | 2019-Feb-07 01:59:20 | 7.5M | application/octet-stream |
| libcoq-ocaml-dev_8.9.0-1_ppc64el.deb | 2019-Feb-06 21:00:14 | 13.4M | application/octet-stream |
| libcoq-ocaml_8.12.0-3+b3_amd64.deb | 2020-Nov-25 08:28:15 | 7.4M | application/octet-stream |
| libcoq-ocaml_8.12.0-3+b3_arm64.deb | 2020-Nov-25 08:58:54 | 7.6M | application/octet-stream |
| libcoq-ocaml_8.12.0-3+b3_armhf.deb | 2020-Nov-25 08:43:50 | 7.3M | application/octet-stream |
| libcoq-ocaml_8.12.0-3+b3_i386.deb | 2020-Nov-25 08:18:09 | 7.2M | application/octet-stream |
| libcoq-ocaml_8.12.0-3+b3_mips64el.deb | 2020-Nov-25 17:41:38 | 5.2M | application/octet-stream |
| libcoq-ocaml_8.12.0-3+b3_mipsel.deb | 2020-Nov-26 01:43:21 | 5.2M | application/octet-stream |
| libcoq-ocaml_8.12.0-3+b3_ppc64el.deb | 2020-Nov-25 08:28:18 | 7.4M | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-06 08:32:23 | 2.0M | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb | 2012-Jun-06 17:32:08 | 524.1K | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-06 09:32:07 | 1.7M | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb | 2012-Jun-06 22:48:09 | 2.0M | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb | 2012-Jun-06 12:17:07 | 1.7M | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-2_mips.deb | 2012-Jun-08 17:19:25 | 521.3K | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb | 2012-Jun-06 14:32:07 | 520.6K | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb | 2012-Jun-06 11:02:55 | 2.0M | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-1_amd64.deb | 2014-Jul-27 17:26:59 | 1.5M | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-1_arm64.deb | 2014-Sep-11 05:27:48 | 371.3K | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-1_armhf.deb | 2014-Jul-27 23:28:40 | 1.5M | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-1_i386.deb | 2014-Jul-27 18:57:54 | 1.4M | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb | 2014-Jul-27 18:57:52 | 1.5M | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb | 2014-Jul-27 19:12:57 | 1.4M | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-1_mips.deb | 2014-Jul-31 16:58:07 | 372.9K | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb | 2014-Jul-28 04:14:55 | 372.7K | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb | 2014-Jul-27 19:28:03 | 1.3M | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb | 2014-Sep-06 19:57:40 | 372.2K | application/octet-stream |
| libcoq-ocaml_8.5-2+b1_amd64.deb | 2016-Jun-09 15:00:10 | 3.2M | application/octet-stream |
| libcoq-ocaml_8.5-2+b1_arm64.deb | 2016-Jun-09 15:15:17 | 3.2M | application/octet-stream |
| libcoq-ocaml_8.5-2+b1_armhf.deb | 2016-Jun-09 17:01:29 | 3.2M | application/octet-stream |
| libcoq-ocaml_8.5-2+b1_i386.deb | 2016-Jun-09 14:50:01 | 3.1M | application/octet-stream |
| libcoq-ocaml_8.5-2+b1_mips.deb | 2016-Jun-10 02:58:32 | 2.2M | application/octet-stream |
| libcoq-ocaml_8.5-2+b1_mips64el.deb | 2016-Jun-10 23:18:06 | 2.2M | application/octet-stream |
| libcoq-ocaml_8.5-2+b1_mipsel.deb | 2016-Jun-10 05:45:30 | 2.2M | application/octet-stream |
| libcoq-ocaml_8.5-2+b1_ppc64el.deb | 2016-Jun-09 17:01:33 | 2.2M | application/octet-stream |
| libcoq-ocaml_8.6-4_amd64.deb | 2016-Dec-30 01:56:57 | 3.3M | application/octet-stream |
| libcoq-ocaml_8.6-4_arm64.deb | 2016-Dec-30 02:57:08 | 3.3M | application/octet-stream |
| libcoq-ocaml_8.6-4_armhf.deb | 2016-Dec-30 04:12:14 | 3.4M | application/octet-stream |
| libcoq-ocaml_8.6-4_i386.deb | 2016-Dec-30 02:57:06 | 3.2M | application/octet-stream |
| libcoq-ocaml_8.6-4_kfreebsd-amd64.deb | 2016-Dec-30 04:57:18 | 3.3M | application/octet-stream |
| libcoq-ocaml_8.6-4_kfreebsd-i386.deb | 2016-Dec-30 03:12:12 | 3.2M | application/octet-stream |
| libcoq-ocaml_8.6-4_mips.deb | 2016-Dec-30 08:57:44 | 2.2M | application/octet-stream |
| libcoq-ocaml_8.6-4_mips64el.deb | 2016-Dec-30 15:29:37 | 2.2M | application/octet-stream |
| libcoq-ocaml_8.6-4_mipsel.deb | 2016-Dec-30 08:57:43 | 2.2M | application/octet-stream |
| libcoq-ocaml_8.6-4_powerpc.deb | 2016-Dec-30 03:12:11 | 3.2M | application/octet-stream |
| libcoq-ocaml_8.6-4_ppc64el.deb | 2016-Dec-30 04:57:19 | 2.2M | application/octet-stream |
| libcoq-ocaml_8.9.0-1_amd64.deb | 2019-Feb-06 19:49:32 | 5.2M | application/octet-stream |
| libcoq-ocaml_8.9.0-1_arm64.deb | 2019-Feb-06 21:26:12 | 5.5M | application/octet-stream |
| libcoq-ocaml_8.9.0-1_armhf.deb | 2019-Feb-07 22:15:09 | 5.1M | application/octet-stream |
| libcoq-ocaml_8.9.0-1_i386.deb | 2019-Feb-06 21:21:01 | 4.9M | application/octet-stream |
| libcoq-ocaml_8.9.0-1_mips.deb | 2019-Feb-07 04:15:17 | 3.4M | application/octet-stream |
| libcoq-ocaml_8.9.0-1_mips64el.deb | 2019-Feb-09 09:29:53 | 3.4M | application/octet-stream |
| libcoq-ocaml_8.9.0-1_mipsel.deb | 2019-Feb-07 01:59:20 | 3.4M | application/octet-stream |
| libcoq-ocaml_8.9.0-1_ppc64el.deb | 2019-Feb-06 21:00:14 | 5.3M | application/octet-stream |