Index of /debian/packages/pool/main/c/coq/
../
coq-libs_8.0pl2-2_all.deb 30-Apr-2005 11:54 4M
coq-libs_8.0pl3-2_all.deb 19-Feb-2006 12:32 4M
coq-libs_8.1.pl3+dfsg-1_all.deb 05-Jan-2008 09:32 12M
coq-theories_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 35M
coq-theories_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 23M
coq-theories_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 23M
coq-theories_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 34M
coq-theories_8.2.pl2+dfsg-1_all.deb 02-Jul-2010 15:19 18M
coq-theories_8.3.pl4+dfsg-2_all.deb 06-Jun-2012 06:32 52M
coq-theories_8.4pl4dfsg-1_all.deb 27-Jul-2014 15:26 31M
coq-theories_8.6-4_amd64.deb 30-Dec-2016 00:56 30M
coq-theories_8.6-4_arm64.deb 30-Dec-2016 01:57 22M
coq-theories_8.6-4_armhf.deb 30-Dec-2016 03:12 22M
coq-theories_8.6-4_i386.deb 30-Dec-2016 01:57 29M
coq-theories_8.9.0-1_amd64.deb 06-Feb-2019 18:49 28M
coq-theories_8.9.0-1_arm64.deb 06-Feb-2019 20:26 19M
coq-theories_8.9.0-1_armhf.deb 07-Feb-2019 21:15 19M
coq-theories_8.9.0-1_i386.deb 06-Feb-2019 20:21 27M
coq7-libs_8.0pl2-2_all.deb 31-Mar-2005 22:17 4M
coq7-libs_8.0pl3-2_all.deb 19-Feb-2006 12:32 4M
coq_7.2-9_i386.deb 15-Feb-2002 19:24 8M
coq_8.0pl2-2_i386.deb 31-Mar-2005 22:17 6M
coq_8.0pl3-2_amd64.deb 31-Mar-2006 15:02 6M
coq_8.0pl3-2_i386.deb 19-Feb-2006 12:32 6M
coq_8.1.pl3+dfsg-1+b2_amd64.deb 23-May-2008 16:17 9M
coq_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 14:17 8M
coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 86M
coq_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 92M
coq_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 84M
coq_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 84M
coq_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 89M
coq_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 97M
coq_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 86M
coq_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 83M
coq_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 78M
coq_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 84M
coq_8.18.0+dfsg-1_armhf.deb 21-Dec-2023 15:24 75M
coq_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 74M
coq_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 78M
coq_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 85M
coq_8.19.1+dfsg-1_armhf.deb 26-Apr-2024 14:56 75M
coq_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 74M
coq_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 15:19 15M
coq_8.2.pl2+dfsg-1_i386.deb 02-Jul-2010 17:03 13M
coq_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 5M
coq_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 15:32 2M
coq_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 5M
coq_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 4M
coq_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 03:27 1M
coq_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 4M
coq_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 4M
coq_8.6-4_amd64.deb 30-Dec-2016 00:56 13M
coq_8.6-4_arm64.deb 30-Dec-2016 01:57 13M
coq_8.6-4_armhf.deb 30-Dec-2016 03:12 13M
coq_8.6-4_i386.deb 30-Dec-2016 01:57 13M
coq_8.9.0-1_amd64.deb 06-Feb-2019 18:49 56M
coq_8.9.0-1_arm64.deb 06-Feb-2019 20:26 60M
coq_8.9.0-1_armhf.deb 07-Feb-2019 21:15 55M
coq_8.9.0-1_i386.deb 06-Feb-2019 20:21 54M
coqide_8.0pl2-2_i386.deb 31-Mar-2005 22:17 4M
coqide_8.0pl3-2_amd64.deb 31-Mar-2006 15:02 3M
coqide_8.0pl3-2_i386.deb 19-Feb-2006 12:32 3M
coqide_8.1.pl3+dfsg-1+b2_amd64.deb 23-May-2008 16:17 5M
coqide_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 14:17 5M
coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 2M
coqide_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 2M
coqide_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 2M
coqide_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 2M
coqide_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 2M
coqide_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 2M
coqide_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 2M
coqide_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 2M
coqide_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 2M
coqide_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 2M
coqide_8.18.0+dfsg-1_armhf.deb 21-Dec-2023 15:24 2M
coqide_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 2M
coqide_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 2M
coqide_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 2M
coqide_8.19.1+dfsg-1_armhf.deb 26-Apr-2024 14:56 2M
coqide_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 2M
coqide_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 15:19 6M
coqide_8.2.pl2+dfsg-1_i386.deb 02-Jul-2010 17:03 6M
coqide_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 5M
coqide_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 15:32 2M
coqide_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 5M
coqide_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 779K
coqide_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 03:27 249K
coqide_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 804K
coqide_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 714K
coqide_8.6-4_amd64.deb 30-Dec-2016 00:56 1M
coqide_8.6-4_arm64.deb 30-Dec-2016 01:57 1M
coqide_8.6-4_armhf.deb 30-Dec-2016 03:12 1M
coqide_8.6-4_i386.deb 30-Dec-2016 01:57 1M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 40M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 42M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 42M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb 21-Dec-2023 15:24 43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 42M
libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 43M
libcoq-core-ocaml-dev_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 43M
libcoq-core-ocaml-dev_8.19.1+dfsg-1_armhf.deb 26-Apr-2024 14:56 43M
libcoq-core-ocaml-dev_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 43M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 21M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21M
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 22M
libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 23M
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb 21-Dec-2023 15:24 22M
libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 21M
libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 22M
libcoq-core-ocaml_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 23M
libcoq-core-ocaml_8.19.1+dfsg-1_armhf.deb 26-Apr-2024 14:56 22M
libcoq-core-ocaml_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 22M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 18M
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 18M
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 18M
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 18M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 15:19 6M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb 02-Jul-2010 17:03 6M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 6M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 15:32 2M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 6M
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 4M
libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 03:27 1M
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 4M
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 4M
libcoq-ocaml-dev_8.6-4_amd64.deb 30-Dec-2016 00:56 13M
libcoq-ocaml-dev_8.6-4_arm64.deb 30-Dec-2016 01:57 13M
libcoq-ocaml-dev_8.6-4_armhf.deb 30-Dec-2016 03:12 13M
libcoq-ocaml-dev_8.6-4_i386.deb 30-Dec-2016 01:57 13M
libcoq-ocaml-dev_8.9.0-1_amd64.deb 06-Feb-2019 18:49 13M
libcoq-ocaml-dev_8.9.0-1_arm64.deb 06-Feb-2019 20:26 13M
libcoq-ocaml-dev_8.9.0-1_armhf.deb 07-Feb-2019 21:15 14M
libcoq-ocaml-dev_8.9.0-1_i386.deb 06-Feb-2019 20:21 13M
libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 7M
libcoq-ocaml_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 8M
libcoq-ocaml_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 7M
libcoq-ocaml_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 7M
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 2M
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 15:32 524K
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 2M
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 2M
libcoq-ocaml_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 03:27 371K
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 2M
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 1M
libcoq-ocaml_8.6-4_amd64.deb 30-Dec-2016 00:56 3M
libcoq-ocaml_8.6-4_arm64.deb 30-Dec-2016 01:57 3M
libcoq-ocaml_8.6-4_armhf.deb 30-Dec-2016 03:12 3M
libcoq-ocaml_8.6-4_i386.deb 30-Dec-2016 01:57 3M
libcoq-ocaml_8.9.0-1_amd64.deb 06-Feb-2019 18:49 5M
libcoq-ocaml_8.9.0-1_arm64.deb 06-Feb-2019 20:26 6M
libcoq-ocaml_8.9.0-1_armhf.deb 07-Feb-2019 21:15 5M
libcoq-ocaml_8.9.0-1_i386.deb 06-Feb-2019 20:21 5M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 21M
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 21M
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 21M
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21M
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 22M
libcoq-stdlib_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 22M
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb 21-Dec-2023 15:24 22M
libcoq-stdlib_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 22M
libcoq-stdlib_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 23M
libcoq-stdlib_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 23M
libcoq-stdlib_8.19.1+dfsg-1_armhf.deb 26-Apr-2024 14:56 23M
libcoq-stdlib_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 23M