Index of /debian/pool/main/c/coq/
../ coq-theories_8.12.0-3+b3_amd64.deb 25-Nov-2020 14:28 35M coq-theories_8.12.0-3+b3_arm64.deb 25-Nov-2020 14:58 23M coq-theories_8.12.0-3+b3_armel.deb 26-Nov-2020 00:44 23M coq-theories_8.12.0-3+b3_armhf.deb 25-Nov-2020 14:43 23M coq-theories_8.12.0-3+b3_i386.deb 25-Nov-2020 14:18 34M coq-theories_8.12.0-3+b3_mips64el.deb 25-Nov-2020 23:41 23M coq-theories_8.12.0-3+b3_mipsel.deb 26-Nov-2020 07:43 23M coq-theories_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 14:28 23M coq-theories_8.15.0+dfsg-1+b1_amd64.deb 21-Jan-2022 06:58 20M coq-theories_8.15.0+dfsg-1+b1_arm64.deb 21-Jan-2022 07:14 20M coq-theories_8.15.0+dfsg-1+b1_armhf.deb 21-Jan-2022 08:15 20M coq-theories_8.15.0+dfsg-1+b1_i386.deb 21-Jan-2022 06:48 20M coq-theories_8.15.0+dfsg-1+b1_ppc64el.deb 21-Jan-2022 07:40 20M coq-theories_8.15.0+dfsg-1+b1_s390x.deb 21-Jan-2022 06:58 20M coq-theories_8.4pl4dfsg-1_all.deb 27-Jul-2014 22:26 31M coq-theories_8.6-4_amd64.deb 30-Dec-2016 07:56 30M coq-theories_8.6-4_arm64.deb 30-Dec-2016 08:57 22M coq-theories_8.6-4_armel.deb 30-Dec-2016 10:12 22M coq-theories_8.6-4_armhf.deb 30-Dec-2016 10:12 22M coq-theories_8.6-4_i386.deb 30-Dec-2016 08:57 29M coq-theories_8.6-4_mips.deb 30-Dec-2016 14:57 22M coq-theories_8.6-4_mips64el.deb 30-Dec-2016 21:29 22M coq-theories_8.6-4_mipsel.deb 30-Dec-2016 14:57 22M coq-theories_8.6-4_ppc64el.deb 30-Dec-2016 10:57 22M coq-theories_8.6-4_s390x.deb 30-Dec-2016 12:27 22M coq-theories_8.9.0-1_amd64.deb 07-Feb-2019 01:49 28M coq-theories_8.9.0-1_arm64.deb 07-Feb-2019 03:26 19M coq-theories_8.9.0-1_armel.deb 07-Feb-2019 08:44 19M coq-theories_8.9.0-1_armhf.deb 08-Feb-2019 04:15 19M coq-theories_8.9.0-1_i386.deb 07-Feb-2019 03:21 27M coq-theories_8.9.0-1_mips.deb 07-Feb-2019 10:15 19M coq-theories_8.9.0-1_mips64el.deb 09-Feb-2019 15:29 19M coq-theories_8.9.0-1_mipsel.deb 07-Feb-2019 07:59 19M coq-theories_8.9.0-1_ppc64el.deb 07-Feb-2019 03:00 19M coq-theories_8.9.0-1_s390x.deb 07-Feb-2019 03:00 19M coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 14:28 86M coq_8.12.0-3+b3_arm64.deb 25-Nov-2020 14:58 92M coq_8.12.0-3+b3_armel.deb 26-Nov-2020 00:44 101M coq_8.12.0-3+b3_armhf.deb 25-Nov-2020 14:43 84M coq_8.12.0-3+b3_i386.deb 25-Nov-2020 14:18 84M coq_8.12.0-3+b3_mips64el.deb 25-Nov-2020 23:41 101M coq_8.12.0-3+b3_mipsel.deb 26-Nov-2020 07:43 101M coq_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 14:28 87M coq_8.12.0-3.debian.tar.xz 10-Sep-2020 13:38 37K coq_8.12.0-3.dsc 10-Sep-2020 13:38 2483 coq_8.12.0.orig.tar.gz 22-Aug-2020 16:26 6M coq_8.15.0+dfsg-1.debian.tar.xz 17-Jan-2022 22:02 39K coq_8.15.0+dfsg-1.dsc 17-Jan-2022 22:02 2607 coq_8.15.0+dfsg.orig.tar.xz 17-Jan-2022 22:02 4M coq_8.16.1+dfsg-1+b1_amd64.deb 24-Jan-2023 01:29 89M coq_8.16.1+dfsg-1+b1_arm64.deb 24-Jan-2023 01:44 97M coq_8.16.1+dfsg-1+b1_armhf.deb 24-Jan-2023 02:15 86M coq_8.16.1+dfsg-1+b1_i386.deb 24-Jan-2023 02:26 83M coq_8.16.1+dfsg-1+b1_ppc64el.deb 24-Jan-2023 02:00 90M coq_8.16.1+dfsg-1+b1_s390x.deb 24-Jan-2023 01:24 89M coq_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 08:14 89M coq_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 08:55 97M coq_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 08:55 86M coq_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 08:29 83M coq_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 10:13 90M coq_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 08:45 89M coq_8.16.1+dfsg-1.debian.tar.xz 29-Nov-2022 15:35 32K coq_8.16.1+dfsg-1.dsc 29-Nov-2022 15:35 2629 coq_8.16.1+dfsg-1_amd64.deb 29-Nov-2022 17:11 89M coq_8.16.1+dfsg-1_arm64.deb 29-Nov-2022 18:12 97M coq_8.16.1+dfsg-1_armhf.deb 29-Nov-2022 17:57 86M coq_8.16.1+dfsg-1_i386.deb 29-Nov-2022 16:55 83M coq_8.16.1+dfsg-1_ppc64el.deb 29-Nov-2022 17:26 90M coq_8.16.1+dfsg-1_s390x.deb 29-Nov-2022 20:13 89M coq_8.16.1+dfsg.orig.tar.xz 29-Nov-2022 15:35 4M coq_8.4pl4dfsg-1.debian.tar.xz 27-Jul-2014 22:26 15K coq_8.4pl4dfsg-1.dsc 27-Jul-2014 22:26 2374 coq_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 22:26 4M coq_8.4pl4dfsg-1_armel.deb 28-Jul-2014 01:28 4M coq_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 04:28 4M coq_8.4pl4dfsg-1_i386.deb 27-Jul-2014 23:57 4M coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 22:26 3M coq_8.6-4.debian.tar.xz 30-Dec-2016 07:56 21K coq_8.6-4.dsc 30-Dec-2016 07:56 2396 coq_8.6-4_amd64.deb 30-Dec-2016 07:56 13M coq_8.6-4_arm64.deb 30-Dec-2016 08:57 13M coq_8.6-4_armel.deb 30-Dec-2016 10:12 13M coq_8.6-4_armhf.deb 30-Dec-2016 10:12 13M coq_8.6-4_i386.deb 30-Dec-2016 08:57 13M coq_8.6-4_mips.deb 30-Dec-2016 14:57 18M coq_8.6-4_mips64el.deb 30-Dec-2016 21:29 18M coq_8.6-4_mipsel.deb 30-Dec-2016 14:57 18M coq_8.6-4_ppc64el.deb 30-Dec-2016 10:57 18M coq_8.6-4_s390x.deb 30-Dec-2016 12:27 18M coq_8.6.orig.tar.gz 28-Dec-2016 20:44 5M coq_8.9.0-1.debian.tar.xz 07-Feb-2019 01:49 27K coq_8.9.0-1.dsc 07-Feb-2019 01:49 2417 coq_8.9.0-1_amd64.deb 07-Feb-2019 01:49 56M coq_8.9.0-1_arm64.deb 07-Feb-2019 03:26 60M coq_8.9.0-1_armel.deb 07-Feb-2019 08:44 48M coq_8.9.0-1_armhf.deb 08-Feb-2019 04:15 55M coq_8.9.0-1_i386.deb 07-Feb-2019 03:21 54M coq_8.9.0-1_mips.deb 07-Feb-2019 10:15 48M coq_8.9.0-1_mips64el.deb 09-Feb-2019 15:29 48M coq_8.9.0-1_mipsel.deb 07-Feb-2019 07:59 48M coq_8.9.0-1_ppc64el.deb 07-Feb-2019 03:00 58M coq_8.9.0-1_s390x.deb 07-Feb-2019 03:00 56M coq_8.9.0.orig.tar.gz 07-Feb-2019 01:49 5M coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 14:28 2M coqide_8.12.0-3+b3_arm64.deb 25-Nov-2020 14:58 2M coqide_8.12.0-3+b3_armel.deb 26-Nov-2020 00:44 46K coqide_8.12.0-3+b3_armhf.deb 25-Nov-2020 14:43 2M coqide_8.12.0-3+b3_i386.deb 25-Nov-2020 14:18 2M coqide_8.12.0-3+b3_mips64el.deb 25-Nov-2020 23:41 46K coqide_8.12.0-3+b3_mipsel.deb 26-Nov-2020 07:43 46K coqide_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 14:28 2M coqide_8.16.1+dfsg-1+b1_amd64.deb 24-Jan-2023 01:29 2M coqide_8.16.1+dfsg-1+b1_arm64.deb 24-Jan-2023 01:44 2M coqide_8.16.1+dfsg-1+b1_armhf.deb 24-Jan-2023 02:15 2M coqide_8.16.1+dfsg-1+b1_i386.deb 24-Jan-2023 02:26 2M coqide_8.16.1+dfsg-1+b1_ppc64el.deb 24-Jan-2023 02:00 2M coqide_8.16.1+dfsg-1+b1_s390x.deb 24-Jan-2023 01:24 2M coqide_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 08:14 2M coqide_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 08:55 2M coqide_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 08:55 2M coqide_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 08:29 2M coqide_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 10:13 2M coqide_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 08:45 2M coqide_8.16.1+dfsg-1_amd64.deb 29-Nov-2022 17:11 2M coqide_8.16.1+dfsg-1_arm64.deb 29-Nov-2022 18:12 2M coqide_8.16.1+dfsg-1_armhf.deb 29-Nov-2022 17:57 2M coqide_8.16.1+dfsg-1_i386.deb 29-Nov-2022 16:55 2M coqide_8.16.1+dfsg-1_ppc64el.deb 29-Nov-2022 17:26 2M coqide_8.16.1+dfsg-1_s390x.deb 29-Nov-2022 20:13 2M coqide_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 22:26 779K coqide_8.4pl4dfsg-1_armel.deb 28-Jul-2014 01:28 780K coqide_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 04:28 804K coqide_8.4pl4dfsg-1_i386.deb 27-Jul-2014 23:57 714K coqide_8.6-4_amd64.deb 30-Dec-2016 07:56 1M coqide_8.6-4_arm64.deb 30-Dec-2016 08:57 1M coqide_8.6-4_armel.deb 30-Dec-2016 10:12 1M coqide_8.6-4_armhf.deb 30-Dec-2016 10:12 1M coqide_8.6-4_i386.deb 30-Dec-2016 08:57 1M coqide_8.6-4_mips.deb 30-Dec-2016 14:57 2M coqide_8.6-4_mips64el.deb 30-Dec-2016 21:29 2M coqide_8.6-4_mipsel.deb 30-Dec-2016 14:57 2M coqide_8.6-4_ppc64el.deb 30-Dec-2016 10:57 2M coqide_8.6-4_s390x.deb 30-Dec-2016 12:27 2M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_amd64.deb 24-Jan-2023 01:29 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_arm64.deb 24-Jan-2023 01:44 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_armhf.deb 24-Jan-2023 02:15 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_i386.deb 24-Jan-2023 02:26 40M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_ppc64el.deb 24-Jan-2023 02:00 42M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_s390x.deb 24-Jan-2023 01:24 40M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 08:14 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 08:55 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 08:55 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 08:29 40M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 10:13 42M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 08:45 40M libcoq-core-ocaml-dev_8.16.1+dfsg-1_amd64.deb 29-Nov-2022 17:11 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1_arm64.deb 29-Nov-2022 18:12 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1_armhf.deb 29-Nov-2022 17:57 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1_i386.deb 29-Nov-2022 16:55 40M libcoq-core-ocaml-dev_8.16.1+dfsg-1_ppc64el.deb 29-Nov-2022 17:26 42M libcoq-core-ocaml-dev_8.16.1+dfsg-1_s390x.deb 29-Nov-2022 20:13 40M libcoq-core-ocaml_8.16.1+dfsg-1+b1_amd64.deb 24-Jan-2023 01:29 22M libcoq-core-ocaml_8.16.1+dfsg-1+b1_arm64.deb 24-Jan-2023 01:44 22M libcoq-core-ocaml_8.16.1+dfsg-1+b1_armhf.deb 24-Jan-2023 02:15 21M libcoq-core-ocaml_8.16.1+dfsg-1+b1_i386.deb 24-Jan-2023 02:26 21M libcoq-core-ocaml_8.16.1+dfsg-1+b1_ppc64el.deb 24-Jan-2023 02:00 22M libcoq-core-ocaml_8.16.1+dfsg-1+b1_s390x.deb 24-Jan-2023 01:24 22M libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 08:14 22M libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 08:55 22M libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 08:55 21M libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 08:29 21M libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 10:13 22M libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 08:45 22M libcoq-core-ocaml_8.16.1+dfsg-1_amd64.deb 29-Nov-2022 17:11 22M libcoq-core-ocaml_8.16.1+dfsg-1_arm64.deb 29-Nov-2022 18:12 22M libcoq-core-ocaml_8.16.1+dfsg-1_armhf.deb 29-Nov-2022 17:57 21M libcoq-core-ocaml_8.16.1+dfsg-1_i386.deb 29-Nov-2022 16:55 21M libcoq-core-ocaml_8.16.1+dfsg-1_ppc64el.deb 29-Nov-2022 17:26 22M libcoq-core-ocaml_8.16.1+dfsg-1_s390x.deb 29-Nov-2022 20:13 22M libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 14:28 18M libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 25-Nov-2020 14:58 18M libcoq-ocaml-dev_8.12.0-3+b3_armel.deb 26-Nov-2020 00:44 11M libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb 25-Nov-2020 14:43 18M libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 25-Nov-2020 14:18 18M libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb 25-Nov-2020 23:41 11M libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb 26-Nov-2020 07:43 11M libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 14:28 19M libcoq-ocaml-dev_8.15.0+dfsg-1+b1_amd64.deb 21-Jan-2022 06:58 37M libcoq-ocaml-dev_8.15.0+dfsg-1+b1_arm64.deb 21-Jan-2022 07:14 37M libcoq-ocaml-dev_8.15.0+dfsg-1+b1_armhf.deb 21-Jan-2022 08:15 38M libcoq-ocaml-dev_8.15.0+dfsg-1+b1_i386.deb 21-Jan-2022 06:48 37M libcoq-ocaml-dev_8.15.0+dfsg-1+b1_ppc64el.deb 21-Jan-2022 07:40 38M libcoq-ocaml-dev_8.15.0+dfsg-1+b1_s390x.deb 21-Jan-2022 06:58 37M libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 22:26 4M libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb 28-Jul-2014 01:28 4M libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 04:28 4M libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 27-Jul-2014 23:57 4M libcoq-ocaml-dev_8.6-4_amd64.deb 30-Dec-2016 07:56 13M libcoq-ocaml-dev_8.6-4_arm64.deb 30-Dec-2016 08:57 13M libcoq-ocaml-dev_8.6-4_armel.deb 30-Dec-2016 10:12 13M libcoq-ocaml-dev_8.6-4_armhf.deb 30-Dec-2016 10:12 13M libcoq-ocaml-dev_8.6-4_i386.deb 30-Dec-2016 08:57 13M libcoq-ocaml-dev_8.6-4_mips.deb 30-Dec-2016 14:57 10M libcoq-ocaml-dev_8.6-4_mips64el.deb 30-Dec-2016 21:29 10M libcoq-ocaml-dev_8.6-4_mipsel.deb 30-Dec-2016 14:57 10M libcoq-ocaml-dev_8.6-4_ppc64el.deb 30-Dec-2016 10:57 10M libcoq-ocaml-dev_8.6-4_s390x.deb 30-Dec-2016 12:27 10M libcoq-ocaml-dev_8.9.0-1_amd64.deb 07-Feb-2019 01:49 13M libcoq-ocaml-dev_8.9.0-1_arm64.deb 07-Feb-2019 03:26 13M libcoq-ocaml-dev_8.9.0-1_armel.deb 07-Feb-2019 08:44 8M libcoq-ocaml-dev_8.9.0-1_armhf.deb 08-Feb-2019 04:15 14M libcoq-ocaml-dev_8.9.0-1_i386.deb 07-Feb-2019 03:21 13M libcoq-ocaml-dev_8.9.0-1_mips.deb 07-Feb-2019 10:15 8M libcoq-ocaml-dev_8.9.0-1_mips64el.deb 09-Feb-2019 15:29 8M libcoq-ocaml-dev_8.9.0-1_mipsel.deb 07-Feb-2019 07:59 8M libcoq-ocaml-dev_8.9.0-1_ppc64el.deb 07-Feb-2019 03:00 13M libcoq-ocaml-dev_8.9.0-1_s390x.deb 07-Feb-2019 03:00 13M libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 14:28 7M libcoq-ocaml_8.12.0-3+b3_arm64.deb 25-Nov-2020 14:58 8M libcoq-ocaml_8.12.0-3+b3_armel.deb 26-Nov-2020 00:44 5M libcoq-ocaml_8.12.0-3+b3_armhf.deb 25-Nov-2020 14:43 7M libcoq-ocaml_8.12.0-3+b3_i386.deb 25-Nov-2020 14:18 7M libcoq-ocaml_8.12.0-3+b3_mips64el.deb 25-Nov-2020 23:41 5M libcoq-ocaml_8.12.0-3+b3_mipsel.deb 26-Nov-2020 07:43 5M libcoq-ocaml_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 14:28 7M libcoq-ocaml_8.15.0+dfsg-1+b1_amd64.deb 21-Jan-2022 06:58 21M libcoq-ocaml_8.15.0+dfsg-1+b1_arm64.deb 21-Jan-2022 07:14 22M libcoq-ocaml_8.15.0+dfsg-1+b1_armhf.deb 21-Jan-2022 08:15 21M libcoq-ocaml_8.15.0+dfsg-1+b1_i386.deb 21-Jan-2022 06:48 21M libcoq-ocaml_8.15.0+dfsg-1+b1_ppc64el.deb 21-Jan-2022 07:40 22M libcoq-ocaml_8.15.0+dfsg-1+b1_s390x.deb 21-Jan-2022 06:58 21M libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 22:26 2M libcoq-ocaml_8.4pl4dfsg-1_armel.deb 28-Jul-2014 01:28 1M libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 04:28 2M libcoq-ocaml_8.4pl4dfsg-1_i386.deb 27-Jul-2014 23:57 1M libcoq-ocaml_8.6-4_amd64.deb 30-Dec-2016 07:56 3M libcoq-ocaml_8.6-4_arm64.deb 30-Dec-2016 08:57 3M libcoq-ocaml_8.6-4_armel.deb 30-Dec-2016 10:12 3M libcoq-ocaml_8.6-4_armhf.deb 30-Dec-2016 10:12 3M libcoq-ocaml_8.6-4_i386.deb 30-Dec-2016 08:57 3M libcoq-ocaml_8.6-4_mips.deb 30-Dec-2016 14:57 2M libcoq-ocaml_8.6-4_mips64el.deb 30-Dec-2016 21:29 2M libcoq-ocaml_8.6-4_mipsel.deb 30-Dec-2016 14:57 2M libcoq-ocaml_8.6-4_ppc64el.deb 30-Dec-2016 10:57 2M libcoq-ocaml_8.6-4_s390x.deb 30-Dec-2016 12:27 2M libcoq-ocaml_8.9.0-1_amd64.deb 07-Feb-2019 01:49 5M libcoq-ocaml_8.9.0-1_arm64.deb 07-Feb-2019 03:26 6M libcoq-ocaml_8.9.0-1_armel.deb 07-Feb-2019 08:44 3M libcoq-ocaml_8.9.0-1_armhf.deb 08-Feb-2019 04:15 5M libcoq-ocaml_8.9.0-1_i386.deb 07-Feb-2019 03:21 5M libcoq-ocaml_8.9.0-1_mips.deb 07-Feb-2019 10:15 3M libcoq-ocaml_8.9.0-1_mips64el.deb 09-Feb-2019 15:29 3M libcoq-ocaml_8.9.0-1_mipsel.deb 07-Feb-2019 07:59 3M libcoq-ocaml_8.9.0-1_ppc64el.deb 07-Feb-2019 03:00 5M libcoq-ocaml_8.9.0-1_s390x.deb 07-Feb-2019 03:00 5M libcoq-stdlib_8.16.1+dfsg-1+b1_amd64.deb 24-Jan-2023 01:29 21M libcoq-stdlib_8.16.1+dfsg-1+b1_arm64.deb 24-Jan-2023 01:44 21M libcoq-stdlib_8.16.1+dfsg-1+b1_armhf.deb 24-Jan-2023 02:15 21M libcoq-stdlib_8.16.1+dfsg-1+b1_i386.deb 24-Jan-2023 02:26 21M libcoq-stdlib_8.16.1+dfsg-1+b1_ppc64el.deb 24-Jan-2023 02:00 21M libcoq-stdlib_8.16.1+dfsg-1+b1_s390x.deb 24-Jan-2023 01:24 21M libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 08:14 21M libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 08:55 21M libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 08:55 21M libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 08:29 21M libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 10:13 21M libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 08:45 21M libcoq-stdlib_8.16.1+dfsg-1_amd64.deb 29-Nov-2022 17:11 21M libcoq-stdlib_8.16.1+dfsg-1_arm64.deb 29-Nov-2022 18:12 21M libcoq-stdlib_8.16.1+dfsg-1_armhf.deb 29-Nov-2022 17:57 21M libcoq-stdlib_8.16.1+dfsg-1_i386.deb 29-Nov-2022 16:55 21M libcoq-stdlib_8.16.1+dfsg-1_ppc64el.deb 29-Nov-2022 17:26 21M libcoq-stdlib_8.16.1+dfsg-1_s390x.deb 29-Nov-2022 20:13 21M