| Parent directory/ | - | - |
| coq-theories_8.11.0-1_arm64.deb | 21416488 | 06-Mar-2020 09:13 |
| coq-theories_8.11.0-1_ppc64el.deb | 21426376 | 11-Mar-2020 10:53 |
| coq-theories_8.4pl3dfsg-1_all.deb | 31970270 | 19-Jan-2014 23:58 |
| coq-theories_8.4pl4dfsg-3build2_all.deb | 32236078 | 04-Nov-2015 14:04 |
| coq-theories_8.6-5build1_arm64.deb | 22801252 | 28-Oct-2017 16:20 |
| coq-theories_8.6-5build1_armhf.deb | 22822156 | 28-Oct-2017 16:20 |
| coq-theories_8.6-5build1_ppc64el.deb | 22797996 | 28-Oct-2017 15:34 |
| coq-theories_8.6-5build1_s390x.deb | 22800288 | 28-Oct-2017 15:34 |
| coq_8.11.0-1.debian.tar.xz | 31672 | 06-Mar-2020 07:53 |
| coq_8.11.0-1.dsc | 2496 | 06-Mar-2020 07:53 |
| coq_8.11.0-1_arm64.deb | 83935488 | 06-Mar-2020 09:13 |
| coq_8.11.0-1_ppc64el.deb | 78792904 | 11-Mar-2020 10:53 |
| coq_8.11.0.orig.tar.gz | 5825620 | 06-Mar-2020 07:53 |
| coq_8.15.0+dfsg-2.debian.tar.xz | 39672 | 05-Feb-2022 17:49 |
| coq_8.15.0+dfsg-2.dsc | 2599 | 05-Feb-2022 17:49 |
| coq_8.15.0+dfsg-2_arm64.deb | 106715046 | 06-Feb-2022 12:54 |
| coq_8.15.0+dfsg-2_armhf.deb | 93249996 | 05-Feb-2022 23:53 |
| coq_8.15.0+dfsg-2_ppc64el.deb | 98289318 | 05-Feb-2022 23:53 |
| coq_8.15.0+dfsg-2_riscv64.deb | 94940012 | 05-Feb-2022 23:53 |
| coq_8.15.0+dfsg-2_s390x.deb | 97190652 | 05-Feb-2022 23:53 |
| coq_8.15.0+dfsg.orig.tar.xz | 4669948 | 17-Jan-2022 23:14 |
| coq_8.16.1+dfsg-1build2.debian.tar.xz | 33316 | 16-Feb-2023 10:06 |
| coq_8.16.1+dfsg-1build2.dsc | 2628 | 16-Feb-2023 10:06 |
| coq_8.16.1+dfsg-1build2_arm64.deb | 122957300 | 16-Feb-2023 10:58 |
| coq_8.16.1+dfsg-1build2_armhf.deb | 106816930 | 16-Feb-2023 10:58 |
| coq_8.16.1+dfsg-1build2_ppc64el.deb | 112802470 | 16-Feb-2023 10:58 |
| coq_8.16.1+dfsg-1build2_riscv64.deb | 108521556 | 16-Feb-2023 15:11 |
| coq_8.16.1+dfsg-1build2_s390x.deb | 111537622 | 16-Feb-2023 10:58 |
| coq_8.16.1+dfsg.orig.tar.xz | 4717668 | 29-Nov-2022 17:24 |
| coq_8.17.0+dfsg-1build1.debian.tar.xz | 33152 | 24-Jul-2023 17:37 |
| coq_8.17.0+dfsg-1build1.dsc | 2628 | 24-Jul-2023 17:37 |
| coq_8.17.0+dfsg-1build1_arm64.deb | 103461794 | 24-Jul-2023 18:09 |
| coq_8.17.0+dfsg-1build1_armhf.deb | 90921912 | 24-Jul-2023 18:09 |
| coq_8.17.0+dfsg-1build1_ppc64el.deb | 95554386 | 24-Jul-2023 17:37 |
| coq_8.17.0+dfsg-1build1_riscv64.deb | 91831886 | 24-Jul-2023 23:19 |
| coq_8.17.0+dfsg-1build1_s390x.deb | 94531278 | 24-Jul-2023 18:09 |
| coq_8.17.0+dfsg.orig.tar.xz | 4773032 | 12-Jun-2023 18:01 |
| coq_8.18.0+dfsg-1.debian.tar.xz | 33160 | 22-Dec-2023 19:46 |
| coq_8.18.0+dfsg-1.dsc | 2570 | 22-Dec-2023 19:46 |
| coq_8.18.0+dfsg-1_arm64.deb | 132250374 | 22-Dec-2023 20:32 |
| coq_8.18.0+dfsg-1_armhf.deb | 115409152 | 22-Dec-2023 20:32 |
| coq_8.18.0+dfsg-1_ppc64el.deb | 122481752 | 22-Dec-2023 19:47 |
| coq_8.18.0+dfsg-1_riscv64.deb | 120707110 | 22-Dec-2023 22:01 |
| coq_8.18.0+dfsg-1_s390x.deb | 126021060 | 22-Dec-2023 19:47 |
| coq_8.18.0+dfsg-1build1.debian.tar.xz | 33300 | 08-Mar-2024 04:42 |
| coq_8.18.0+dfsg-1build1.dsc | 2685 | 08-Mar-2024 04:42 |
| coq_8.18.0+dfsg-1build1_arm64.deb | 106659730 | 08-Mar-2024 04:44 |
| coq_8.18.0+dfsg-1build1_armhf.deb | 93686084 | 16-Mar-2024 15:57 |
| coq_8.18.0+dfsg-1build1_ppc64el.deb | 98559822 | 08-Mar-2024 06:01 |
| coq_8.18.0+dfsg-1build1_riscv64.deb | 97984732 | 08-Mar-2024 14:05 |
| coq_8.18.0+dfsg-1build1_s390x.deb | 97471864 | 08-Mar-2024 06:03 |
| coq_8.18.0+dfsg.orig.tar.xz | 4868368 | 22-Dec-2023 19:46 |
| coq_8.4pl3dfsg-1.debian.tar.xz | 15800 | 19-Jan-2014 23:18 |
| coq_8.4pl3dfsg-1.dsc | 2356 | 19-Jan-2014 23:18 |
| coq_8.4pl3dfsg-1_arm64.deb | 1108992 | 20-Jan-2014 03:43 |
| coq_8.4pl3dfsg-1_armhf.deb | 3894262 | 20-Jan-2014 01:03 |
| coq_8.4pl3dfsg-1_powerpc.deb | 3585438 | 20-Jan-2014 00:23 |
| coq_8.4pl3dfsg-1_ppc64el.deb | 1107166 | 18-Feb-2014 02:43 |
| coq_8.4pl3dfsg.orig.tar.gz | 3521338 | 19-Jan-2014 23:18 |
| coq_8.4pl4dfsg-3build2.debian.tar.xz | 16144 | 04-Nov-2015 13:14 |
| coq_8.4pl4dfsg-3build2.dsc | 2398 | 04-Nov-2015 13:14 |
| coq_8.4pl4dfsg-3build2_arm64.deb | 3897182 | 04-Nov-2015 14:29 |
| coq_8.4pl4dfsg-3build2_armhf.deb | 3808808 | 04-Nov-2015 14:55 |
| coq_8.4pl4dfsg-3build2_powerpc.deb | 3421114 | 04-Nov-2015 13:39 |
| coq_8.4pl4dfsg-3build2_ppc64el.deb | 1040390 | 04-Nov-2015 14:55 |
| coq_8.4pl4dfsg-3build2_s390x.deb | 1041604 | 05-Jan-2016 16:35 |
| coq_8.4pl4dfsg.orig.tar.gz | 3527076 | 27-Jul-2014 23:13 |
| coq_8.6-5build1.debian.tar.xz | 21864 | 28-Oct-2017 14:39 |
| coq_8.6-5build1.dsc | 2403 | 28-Oct-2017 14:39 |
| coq_8.6-5build1_arm64.deb | 18867112 | 28-Oct-2017 16:20 |
| coq_8.6-5build1_armhf.deb | 16999728 | 28-Oct-2017 16:20 |
| coq_8.6-5build1_ppc64el.deb | 18204248 | 28-Oct-2017 15:34 |
| coq_8.6-5build1_s390x.deb | 17929824 | 28-Oct-2017 15:35 |
| coq_8.6.orig.tar.gz | 5008604 | 28-Dec-2016 17:13 |
| coqide_8.11.0-1_arm64.deb | 2113388 | 06-Mar-2020 09:13 |
| coqide_8.11.0-1_ppc64el.deb | 1905696 | 11-Mar-2020 10:53 |
| coqide_8.15.0+dfsg-2_arm64.deb | 2877382 | 06-Feb-2022 12:54 |
| coqide_8.15.0+dfsg-2_armhf.deb | 2183944 | 05-Feb-2022 23:53 |
| coqide_8.15.0+dfsg-2_ppc64el.deb | 2545128 | 05-Feb-2022 23:53 |
| coqide_8.15.0+dfsg-2_riscv64.deb | 2307134 | 05-Feb-2022 23:53 |
| coqide_8.15.0+dfsg-2_s390x.deb | 2404922 | 05-Feb-2022 23:53 |
| coqide_8.16.1+dfsg-1build2_arm64.deb | 2793860 | 16-Feb-2023 10:58 |
| coqide_8.16.1+dfsg-1build2_armhf.deb | 2169538 | 16-Feb-2023 10:58 |
| coqide_8.16.1+dfsg-1build2_ppc64el.deb | 2505210 | 16-Feb-2023 10:58 |
| coqide_8.16.1+dfsg-1build2_riscv64.deb | 2258630 | 16-Feb-2023 15:11 |
| coqide_8.16.1+dfsg-1build2_s390x.deb | 2389714 | 16-Feb-2023 10:58 |
| coqide_8.17.0+dfsg-1build1_arm64.deb | 2782874 | 24-Jul-2023 18:09 |
| coqide_8.17.0+dfsg-1build1_armhf.deb | 2167034 | 24-Jul-2023 18:09 |
| coqide_8.17.0+dfsg-1build1_ppc64el.deb | 2507680 | 24-Jul-2023 17:37 |
| coqide_8.17.0+dfsg-1build1_riscv64.deb | 2253358 | 24-Jul-2023 23:19 |
| coqide_8.17.0+dfsg-1build1_s390x.deb | 2411616 | 24-Jul-2023 18:09 |
| coqide_8.18.0+dfsg-1_arm64.deb | 3442458 | 22-Dec-2023 20:32 |
| coqide_8.18.0+dfsg-1_armhf.deb | 2596510 | 22-Dec-2023 20:32 |
| coqide_8.18.0+dfsg-1_ppc64el.deb | 3055178 | 22-Dec-2023 19:47 |
| coqide_8.18.0+dfsg-1_riscv64.deb | 2909820 | 22-Dec-2023 22:01 |
| coqide_8.18.0+dfsg-1_s390x.deb | 3118730 | 22-Dec-2023 19:47 |
| coqide_8.18.0+dfsg-1build1_arm64.deb | 2815278 | 08-Mar-2024 04:44 |
| coqide_8.18.0+dfsg-1build1_armhf.deb | 2178664 | 16-Mar-2024 15:57 |
| coqide_8.18.0+dfsg-1build1_ppc64el.deb | 2514558 | 08-Mar-2024 06:01 |
| coqide_8.18.0+dfsg-1build1_riscv64.deb | 2431450 | 08-Mar-2024 14:05 |
| coqide_8.18.0+dfsg-1build1_s390x.deb | 2424852 | 08-Mar-2024 06:03 |
| coqide_8.4pl3dfsg-1_arm64.deb | 203096 | 20-Jan-2014 03:43 |
| coqide_8.4pl3dfsg-1_armhf.deb | 775756 | 20-Jan-2014 01:03 |
| coqide_8.4pl3dfsg-1_powerpc.deb | 642222 | 20-Jan-2014 00:23 |
| coqide_8.4pl3dfsg-1_ppc64el.deb | 203016 | 18-Feb-2014 02:43 |
| coqide_8.4pl4dfsg-3build2_arm64.deb | 771968 | 04-Nov-2015 14:29 |
| coqide_8.4pl4dfsg-3build2_armhf.deb | 780854 | 04-Nov-2015 14:55 |
| coqide_8.4pl4dfsg-3build2_powerpc.deb | 664326 | 04-Nov-2015 13:39 |
| coqide_8.4pl4dfsg-3build2_ppc64el.deb | 212784 | 04-Nov-2015 14:55 |
| coqide_8.4pl4dfsg-3build2_s390x.deb | 212832 | 05-Jan-2016 16:35 |
| coqide_8.6-5build1_arm64.deb | 1701988 | 28-Oct-2017 16:20 |
| coqide_8.6-5build1_armhf.deb | 1445016 | 28-Oct-2017 16:20 |
| coqide_8.6-5build1_ppc64el.deb | 1784388 | 28-Oct-2017 15:34 |
| coqide_8.6-5build1_s390x.deb | 1830484 | 28-Oct-2017 15:34 |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb | 45581026 | 06-Feb-2022 12:53 |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb | 45889474 | 05-Feb-2022 23:53 |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb | 45702454 | 05-Feb-2022 23:53 |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_riscv64.deb | 45556018 | 05-Feb-2022 23:53 |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb | 45477990 | 05-Feb-2022 23:53 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_arm64..> | 49844366 | 16-Feb-2023 10:58 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_armhf..> | 49984248 | 16-Feb-2023 10:58 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_ppc64..> | 50804002 | 16-Feb-2023 10:58 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_riscv..> | 55744618 | 16-Feb-2023 15:11 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_s390x..> | 48936858 | 16-Feb-2023 10:58 |
| libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_arm64..> | 50304582 | 24-Jul-2023 18:09 |
| libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_armhf..> | 50404476 | 24-Jul-2023 18:09 |
| libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_ppc64..> | 51232424 | 24-Jul-2023 17:37 |
| libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_riscv..> | 56246264 | 24-Jul-2023 23:19 |
| libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_s390x..> | 49344656 | 24-Jul-2023 18:09 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb | 66263460 | 22-Dec-2023 20:32 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb | 66485594 | 22-Dec-2023 20:32 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc64el.deb | 67527138 | 22-Dec-2023 19:47 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1_riscv64.deb | 76106448 | 22-Dec-2023 22:01 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1_s390x.deb | 65024734 | 22-Dec-2023 19:47 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build1_arm64..> | 51860112 | 08-Mar-2024 04:44 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build1_armhf..> | 51976394 | 16-Mar-2024 15:57 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build1_ppc64..> | 52819842 | 08-Mar-2024 06:01 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build1_riscv..> | 58810714 | 08-Mar-2024 14:05 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build1_s390x..> | 50867298 | 08-Mar-2024 06:03 |
| libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb | 28397634 | 06-Feb-2022 12:53 |
| libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb | 26956106 | 05-Feb-2022 23:53 |
| libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb | 27429114 | 05-Feb-2022 23:53 |
| libcoq-core-ocaml_8.15.0+dfsg-2_riscv64.deb | 27035868 | 05-Feb-2022 23:53 |
| libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb | 27515982 | 05-Feb-2022 23:53 |
| libcoq-core-ocaml_8.16.1+dfsg-1build2_arm64.deb | 28352068 | 16-Feb-2023 10:58 |
| libcoq-core-ocaml_8.16.1+dfsg-1build2_armhf.deb | 26738238 | 16-Feb-2023 10:58 |
| libcoq-core-ocaml_8.16.1+dfsg-1build2_ppc64el.deb | 27219252 | 16-Feb-2023 10:58 |
| libcoq-core-ocaml_8.16.1+dfsg-1build2_riscv64.deb | 26786266 | 16-Feb-2023 15:11 |
| libcoq-core-ocaml_8.16.1+dfsg-1build2_s390x.deb | 27393918 | 16-Feb-2023 10:58 |
| libcoq-core-ocaml_8.17.0+dfsg-1build1_arm64.deb | 28644680 | 24-Jul-2023 18:09 |
| libcoq-core-ocaml_8.17.0+dfsg-1build1_armhf.deb | 27052822 | 24-Jul-2023 18:09 |
| libcoq-core-ocaml_8.17.0+dfsg-1build1_ppc64el.deb | 27526180 | 24-Jul-2023 17:37 |
| libcoq-core-ocaml_8.17.0+dfsg-1build1_riscv64.deb | 27031930 | 24-Jul-2023 23:19 |
| libcoq-core-ocaml_8.17.0+dfsg-1build1_s390x.deb | 27584800 | 24-Jul-2023 18:09 |
| libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb | 35893634 | 22-Dec-2023 20:32 |
| libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb | 33653308 | 22-Dec-2023 20:32 |
| libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb | 34467594 | 22-Dec-2023 19:47 |
| libcoq-core-ocaml_8.18.0+dfsg-1_riscv64.deb | 34604852 | 22-Dec-2023 22:01 |
| libcoq-core-ocaml_8.18.0+dfsg-1_s390x.deb | 35292240 | 22-Dec-2023 19:47 |
| libcoq-core-ocaml_8.18.0+dfsg-1build1_arm64.deb | 29214608 | 08-Mar-2024 04:44 |
| libcoq-core-ocaml_8.18.0+dfsg-1build1_armhf.deb | 27543538 | 16-Mar-2024 15:57 |
| libcoq-core-ocaml_8.18.0+dfsg-1build1_ppc64el.deb | 28039734 | 08-Mar-2024 06:01 |
| libcoq-core-ocaml_8.18.0+dfsg-1build1_riscv64.deb | 27923014 | 08-Mar-2024 14:05 |
| libcoq-core-ocaml_8.18.0+dfsg-1build1_s390x.deb | 28118840 | 08-Mar-2024 06:03 |
| libcoq-ocaml-dev_8.11.0-1_arm64.deb | 16432568 | 06-Mar-2020 09:13 |
| libcoq-ocaml-dev_8.11.0-1_ppc64el.deb | 16492924 | 11-Mar-2020 10:53 |
| libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb | 1246944 | 20-Jan-2014 03:43 |
| libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb | 4028574 | 20-Jan-2014 01:03 |
| libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb | 3576508 | 20-Jan-2014 00:23 |
| libcoq-ocaml-dev_8.4pl3dfsg-1_ppc64el.deb | 1246966 | 18-Feb-2014 02:43 |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb | 3911576 | 04-Nov-2015 14:29 |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb | 4161480 | 04-Nov-2015 14:55 |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb | 3696730 | 04-Nov-2015 13:39 |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb | 1243160 | 04-Nov-2015 14:55 |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb | 1243666 | 05-Jan-2016 16:35 |
| libcoq-ocaml-dev_8.6-5build1_arm64.deb | 14025668 | 28-Oct-2017 16:20 |
| libcoq-ocaml-dev_8.6-5build1_armhf.deb | 14313492 | 28-Oct-2017 16:20 |
| libcoq-ocaml-dev_8.6-5build1_ppc64el.deb | 14088800 | 28-Oct-2017 15:34 |
| libcoq-ocaml-dev_8.6-5build1_s390x.deb | 13843460 | 28-Oct-2017 15:34 |
| libcoq-ocaml_8.11.0-1_arm64.deb | 6816804 | 06-Mar-2020 09:13 |
| libcoq-ocaml_8.11.0-1_ppc64el.deb | 6500588 | 11-Mar-2020 10:53 |
| libcoq-ocaml_8.4pl3dfsg-1_arm64.deb | 330196 | 20-Jan-2014 03:43 |
| libcoq-ocaml_8.4pl3dfsg-1_armhf.deb | 1527672 | 20-Jan-2014 01:03 |
| libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb | 1374618 | 20-Jan-2014 00:23 |
| libcoq-ocaml_8.4pl3dfsg-1_ppc64el.deb | 329442 | 18-Feb-2014 02:43 |
| libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb | 1404704 | 04-Nov-2015 14:29 |
| libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb | 1468522 | 04-Nov-2015 14:55 |
| libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb | 1325396 | 04-Nov-2015 13:39 |
| libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb | 335590 | 04-Nov-2015 14:55 |
| libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb | 337840 | 05-Jan-2016 16:35 |
| libcoq-ocaml_8.6-5build1_arm64.deb | 3798220 | 28-Oct-2017 16:20 |
| libcoq-ocaml_8.6-5build1_armhf.deb | 3498152 | 28-Oct-2017 16:20 |
| libcoq-ocaml_8.6-5build1_ppc64el.deb | 3663196 | 28-Oct-2017 15:34 |
| libcoq-ocaml_8.6-5build1_s390x.deb | 3624348 | 28-Oct-2017 15:34 |
| libcoq-stdlib_8.15.0+dfsg-2_arm64.deb | 24696054 | 06-Feb-2022 12:54 |
| libcoq-stdlib_8.15.0+dfsg-2_armhf.deb | 24699490 | 05-Feb-2022 23:53 |
| libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb | 24695478 | 05-Feb-2022 23:53 |
| libcoq-stdlib_8.15.0+dfsg-2_riscv64.deb | 24695144 | 05-Feb-2022 23:53 |
| libcoq-stdlib_8.15.0+dfsg-2_s390x.deb | 24695220 | 05-Feb-2022 23:53 |
| libcoq-stdlib_8.16.1+dfsg-1build2_arm64.deb | 24519442 | 16-Feb-2023 10:58 |
| libcoq-stdlib_8.16.1+dfsg-1build2_armhf.deb | 24511244 | 16-Feb-2023 10:58 |
| libcoq-stdlib_8.16.1+dfsg-1build2_ppc64el.deb | 24518376 | 16-Feb-2023 10:58 |
| libcoq-stdlib_8.16.1+dfsg-1build2_riscv64.deb | 24518698 | 16-Feb-2023 15:11 |
| libcoq-stdlib_8.16.1+dfsg-1build2_s390x.deb | 24519700 | 16-Feb-2023 10:58 |
| libcoq-stdlib_8.17.0+dfsg-1build1_arm64.deb | 28440368 | 24-Jul-2023 18:09 |
| libcoq-stdlib_8.17.0+dfsg-1build1_armhf.deb | 28440010 | 24-Jul-2023 18:09 |
| libcoq-stdlib_8.17.0+dfsg-1build1_ppc64el.deb | 28448116 | 24-Jul-2023 17:37 |
| libcoq-stdlib_8.17.0+dfsg-1build1_riscv64.deb | 28447842 | 24-Jul-2023 23:19 |
| libcoq-stdlib_8.17.0+dfsg-1build1_s390x.deb | 28447704 | 24-Jul-2023 18:09 |
| libcoq-stdlib_8.18.0+dfsg-1_arm64.deb | 35219840 | 22-Dec-2023 20:32 |
| libcoq-stdlib_8.18.0+dfsg-1_armhf.deb | 35215136 | 22-Dec-2023 20:32 |
| libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb | 35218660 | 22-Dec-2023 19:47 |
| libcoq-stdlib_8.18.0+dfsg-1_riscv64.deb | 35219968 | 22-Dec-2023 22:01 |
| libcoq-stdlib_8.18.0+dfsg-1_s390x.deb | 35216166 | 22-Dec-2023 19:47 |
| libcoq-stdlib_8.18.0+dfsg-1build1_arm64.deb | 26512878 | 08-Mar-2024 04:44 |
| libcoq-stdlib_8.18.0+dfsg-1build1_armhf.deb | 26507420 | 16-Mar-2024 15:57 |
| libcoq-stdlib_8.18.0+dfsg-1build1_ppc64el.deb | 26512230 | 08-Mar-2024 06:01 |
| libcoq-stdlib_8.18.0+dfsg-1build1_riscv64.deb | 26512636 | 08-Mar-2024 14:05 |
| libcoq-stdlib_8.18.0+dfsg-1build1_s390x.deb | 26512452 | 08-Mar-2024 06:02 |
