| Parent Directory/ | | - | Directory |
| coq-theories_8.11.0-1_amd64.deb | 2020-Mar-06 09:38:19 | 31.5M | application/octet-stream |
| coq-theories_8.12.0-3build3_amd64.deb | 2020-Nov-28 11:13:40 | 34.5M | application/octet-stream |
| coq-theories_8.3.pl4+dfsg-1_all.deb | 2012-Apr-03 13:04:02 | 51.7M | application/octet-stream |
| coq-theories_8.4pl3dfsg-1_all.deb | 2014-Jan-20 00:58:43 | 30.5M | application/octet-stream |
| coq-theories_8.4pl4dfsg-1_all.deb | 2014-Jul-28 01:53:41 | 30.5M | application/octet-stream |
| coq-theories_8.4pl4dfsg-3build2_all.deb | 2015-Nov-04 15:04:33 | 30.7M | application/octet-stream |
| coq-theories_8.5-2build1_amd64.deb | 2016-Jun-11 18:14:22 | 31.3M | application/octet-stream |
| coq-theories_8.5-2build1_i386.deb | 2016-Jun-11 18:15:04 | 30.3M | application/octet-stream |
| coq-theories_8.6-4_amd64.deb | 2016-Dec-30 07:03:30 | 29.7M | application/octet-stream |
| coq-theories_8.6-4_i386.deb | 2016-Dec-30 07:03:35 | 28.7M | application/octet-stream |
| coq-theories_8.6-5build1_amd64.deb | 2017-Oct-28 17:34:40 | 31.6M | application/octet-stream |
| coq-theories_8.6-5build1_i386.deb | 2017-Oct-28 17:34:52 | 30.6M | application/octet-stream |
| coq_8.11.0-1.debian.tar.xz | 2020-Mar-06 08:53:17 | 30.9K | application/octet-stream |
| coq_8.11.0-1.dsc | 2020-Mar-06 08:53:16 | 2.4K | application/octet-stream |
| coq_8.11.0-1_amd64.deb | 2020-Mar-06 09:38:18 | 73.0M | application/octet-stream |
| coq_8.11.0.orig.tar.gz | 2020-Mar-06 08:53:17 | 5.5M | application/x-gzip |
| coq_8.12.0-3build3.debian.tar.xz | 2020-Nov-28 10:28:35 | 37.0K | application/octet-stream |
| coq_8.12.0-3build3.dsc | 2020-Nov-28 10:28:35 | 2.4K | application/octet-stream |
| coq_8.12.0-3build3_amd64.deb | 2020-Nov-28 11:13:41 | 86.3M | application/octet-stream |
| coq_8.12.0.orig.tar.gz | 2020-Sep-15 10:23:38 | 5.7M | application/x-gzip |
| coq_8.15.0+dfsg-2.debian.tar.xz | 2022-Feb-05 18:49:53 | 38.7K | application/octet-stream |
| coq_8.15.0+dfsg-2.dsc | 2022-Feb-05 18:49:53 | 2.5K | application/octet-stream |
| coq_8.15.0+dfsg-2_amd64.deb | 2022-Feb-06 00:52:00 | 90.9M | application/octet-stream |
| coq_8.15.0+dfsg.orig.tar.xz | 2022-Jan-18 00:14:25 | 4.4M | application/octet-stream |
| coq_8.3.pl4+dfsg-1.debian.tar.gz | 2012-Apr-03 12:33:54 | 15.9K | application/x-gzip |
| coq_8.3.pl4+dfsg-1.dsc | 2012-Apr-03 12:33:55 | 2.2K | application/octet-stream |
| coq_8.3.pl4+dfsg-1_amd64.deb | 2012-Apr-03 13:34:27 | 5.3M | application/octet-stream |
| coq_8.3.pl4+dfsg-1_i386.deb | 2012-Apr-03 13:04:21 | 4.7M | application/octet-stream |
| coq_8.3.pl4+dfsg.orig.tar.gz | 2012-Apr-03 12:33:54 | 3.0M | application/x-gzip |
| coq_8.4pl3dfsg-1.debian.tar.xz | 2014-Jan-20 00:18:52 | 15.4K | application/octet-stream |
| coq_8.4pl3dfsg-1.dsc | 2014-Jan-20 00:18:53 | 2.3K | application/octet-stream |
| coq_8.4pl3dfsg-1_amd64.deb | 2014-Jan-20 00:58:45 | 3.8M | application/octet-stream |
| coq_8.4pl3dfsg-1_i386.deb | 2014-Jan-20 00:58:55 | 3.5M | application/octet-stream |
| coq_8.4pl3dfsg.orig.tar.gz | 2014-Jan-20 00:18:53 | 3.3M | application/x-gzip |
| coq_8.4pl4dfsg-1.debian.tar.xz | 2014-Jul-28 01:13:17 | 15.3K | application/octet-stream |
| coq_8.4pl4dfsg-1.dsc | 2014-Jul-28 01:13:17 | 2.3K | application/octet-stream |
| coq_8.4pl4dfsg-1_amd64.deb | 2014-Jul-28 01:53:35 | 3.8M | application/octet-stream |
| coq_8.4pl4dfsg-1_i386.deb | 2014-Jul-28 01:53:46 | 3.5M | application/octet-stream |
| coq_8.4pl4dfsg-3build2.debian.tar.xz | 2015-Nov-04 14:14:21 | 15.7K | application/octet-stream |
| coq_8.4pl4dfsg-3build2.dsc | 2015-Nov-04 14:14:21 | 2.3K | application/octet-stream |
| coq_8.4pl4dfsg-3build2_amd64.deb | 2015-Nov-04 15:04:34 | 3.8M | application/octet-stream |
| coq_8.4pl4dfsg-3build2_i386.deb | 2015-Nov-04 14:39:44 | 3.5M | application/octet-stream |
| coq_8.4pl4dfsg.orig.tar.gz | 2014-Jul-28 01:13:17 | 3.3M | application/x-gzip |
| coq_8.5-2build1.debian.tar.xz | 2016-Jun-11 17:14:02 | 16.3K | application/octet-stream |
| coq_8.5-2build1.dsc | 2016-Jun-11 17:13:59 | 2.4K | application/octet-stream |
| coq_8.5-2build1_amd64.deb | 2016-Jun-11 18:14:22 | 12.9M | application/octet-stream |
| coq_8.5-2build1_i386.deb | 2016-Jun-11 18:15:04 | 11.9M | application/octet-stream |
| coq_8.5.orig.tar.gz | 2016-Jan-27 00:09:33 | 4.6M | application/x-gzip |
| coq_8.6-4.debian.tar.xz | 2016-Dec-30 06:19:52 | 21.4K | application/octet-stream |
| coq_8.6-4.dsc | 2016-Dec-30 06:19:49 | 2.3K | application/octet-stream |
| coq_8.6-4_amd64.deb | 2016-Dec-30 07:03:28 | 13.2M | application/octet-stream |
| coq_8.6-4_i386.deb | 2016-Dec-30 07:03:36 | 12.3M | application/octet-stream |
| coq_8.6-5build1.debian.tar.xz | 2017-Oct-28 16:39:28 | 21.3K | application/octet-stream |
| coq_8.6-5build1.dsc | 2017-Oct-28 16:39:28 | 2.3K | application/octet-stream |
| coq_8.6-5build1_amd64.deb | 2017-Oct-28 17:34:41 | 16.8M | application/octet-stream |
| coq_8.6-5build1_i386.deb | 2017-Oct-28 17:34:51 | 16.1M | application/octet-stream |
| coq_8.6.orig.tar.gz | 2016-Dec-28 18:13:41 | 4.7M | application/x-gzip |
| coqide_8.11.0-1_amd64.deb | 2020-Mar-06 09:38:18 | 1.6M | application/octet-stream |
| coqide_8.12.0-3build3_amd64.deb | 2020-Nov-28 11:13:42 | 1.8M | application/octet-stream |
| coqide_8.15.0+dfsg-2_amd64.deb | 2022-Feb-06 00:51:53 | 2.2M | application/octet-stream |
| coqide_8.3.pl4+dfsg-1_amd64.deb | 2012-Apr-03 13:34:27 | 5.2M | application/octet-stream |
| coqide_8.3.pl4+dfsg-1_i386.deb | 2012-Apr-03 13:04:20 | 4.8M | application/octet-stream |
| coqide_8.4pl3dfsg-1_amd64.deb | 2014-Jan-20 00:58:45 | 727.1K | application/octet-stream |
| coqide_8.4pl3dfsg-1_i386.deb | 2014-Jan-20 00:58:54 | 661.6K | application/octet-stream |
| coqide_8.4pl4dfsg-1_amd64.deb | 2014-Jul-28 01:53:34 | 726.4K | application/octet-stream |
| coqide_8.4pl4dfsg-1_i386.deb | 2014-Jul-28 01:53:46 | 662.1K | application/octet-stream |
| coqide_8.4pl4dfsg-3build2_amd64.deb | 2015-Nov-04 15:04:31 | 731.3K | application/octet-stream |
| coqide_8.4pl4dfsg-3build2_i386.deb | 2015-Nov-04 14:39:44 | 694.9K | application/octet-stream |
| coqide_8.5-2build1_amd64.deb | 2016-Jun-11 18:14:20 | 1.1M | application/octet-stream |
| coqide_8.5-2build1_i386.deb | 2016-Jun-11 18:15:06 | 0.9M | application/octet-stream |
| coqide_8.6-4_amd64.deb | 2016-Dec-30 07:03:28 | 1.2M | application/octet-stream |
| coqide_8.6-4_i386.deb | 2016-Dec-30 07:03:38 | 1.0M | application/octet-stream |
| coqide_8.6-5build1_amd64.deb | 2017-Oct-28 17:34:40 | 1.4M | application/octet-stream |
| coqide_8.6-5build1_i386.deb | 2017-Oct-28 17:34:51 | 1.3M | application/octet-stream |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb | 2022-Feb-06 00:51:58 | 42.9M | application/octet-stream |
| libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb | 2022-Feb-06 00:51:56 | 25.8M | application/octet-stream |
| libcoq-ocaml-dev_8.11.0-1_amd64.deb | 2020-Mar-06 09:38:21 | 15.3M | application/octet-stream |
| libcoq-ocaml-dev_8.12.0-3build3_amd64.deb | 2020-Nov-28 11:13:42 | 17.8M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb | 2012-Apr-03 13:34:27 | 5.5M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb | 2012-Apr-03 13:04:18 | 5.4M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb | 2014-Jan-20 00:58:43 | 3.5M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb | 2014-Jan-20 00:58:55 | 3.4M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb | 2014-Jul-28 01:53:35 | 3.5M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb | 2014-Jul-28 01:53:45 | 3.5M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb | 2015-Nov-04 15:04:32 | 3.5M | application/octet-stream |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb | 2015-Nov-04 14:39:45 | 3.5M | application/octet-stream |
| libcoq-ocaml-dev_8.5-2build1_amd64.deb | 2016-Jun-11 18:14:21 | 12.7M | application/octet-stream |
| libcoq-ocaml-dev_8.5-2build1_i386.deb | 2016-Jun-11 18:15:03 | 12.7M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_amd64.deb | 2016-Dec-30 07:03:28 | 12.5M | application/octet-stream |
| libcoq-ocaml-dev_8.6-4_i386.deb | 2016-Dec-30 07:03:34 | 12.5M | application/octet-stream |
| libcoq-ocaml-dev_8.6-5build1_amd64.deb | 2017-Oct-28 17:34:40 | 13.1M | application/octet-stream |
| libcoq-ocaml-dev_8.6-5build1_i386.deb | 2017-Oct-28 17:34:50 | 13.1M | application/octet-stream |
| libcoq-ocaml_8.11.0-1_amd64.deb | 2020-Mar-06 09:38:20 | 6.0M | application/octet-stream |
| libcoq-ocaml_8.12.0-3build3_amd64.deb | 2020-Nov-28 11:13:40 | 7.3M | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb | 2012-Apr-03 13:34:27 | 1.9M | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb | 2012-Apr-03 13:04:20 | 1.7M | application/octet-stream |
| libcoq-ocaml_8.4pl3dfsg-1_amd64.deb | 2014-Jan-20 00:58:43 | 1.5M | application/octet-stream |
| libcoq-ocaml_8.4pl3dfsg-1_i386.deb | 2014-Jan-20 00:58:54 | 1.3M | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-1_amd64.deb | 2014-Jul-28 01:53:35 | 1.5M | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-1_i386.deb | 2014-Jul-28 01:53:45 | 1.3M | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb | 2015-Nov-04 15:04:31 | 1.4M | application/octet-stream |
| libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb | 2015-Nov-04 14:39:44 | 1.3M | application/octet-stream |
| libcoq-ocaml_8.5-2build1_amd64.deb | 2016-Jun-11 18:14:23 | 3.2M | application/octet-stream |
| libcoq-ocaml_8.5-2build1_i386.deb | 2016-Jun-11 18:15:06 | 3.1M | application/octet-stream |
| libcoq-ocaml_8.6-4_amd64.deb | 2016-Dec-30 07:03:29 | 3.2M | application/octet-stream |
| libcoq-ocaml_8.6-4_i386.deb | 2016-Dec-30 07:03:36 | 3.1M | application/octet-stream |
| libcoq-ocaml_8.6-5build1_amd64.deb | 2017-Oct-28 17:34:39 | 3.4M | application/octet-stream |
| libcoq-ocaml_8.6-5build1_i386.deb | 2017-Oct-28 17:34:51 | 3.2M | application/octet-stream |
| libcoq-stdlib_8.15.0+dfsg-2_amd64.deb | 2022-Feb-06 00:51:58 | 23.5M | application/octet-stream |