Index of /pool/main/c/coq/

../
coq-theories_8.9.0-1_amd64.deb                     08-Apr-2019 09:50            29737672
coq-theories_8.9.0-1_arm64.deb                     05-Nov-2020 16:01            20367676
coq-theories_8.9.0-1_i386.deb                      05-Nov-2020 15:57            28414968
coq_8.16.1+dfsg-1+b2_amd64.deb                     06-Mar-2023 11:24            93212572
coq_8.16.1+dfsg-1+b2_arm64.deb                     06-Mar-2023 11:24           102168100
coq_8.16.1+dfsg-1+b2_i386.deb                      06-Mar-2023 11:26            87517396
coq_8.16.1+dfsg-1.debian.tar.xz                    16-Feb-2023 22:35               33236
coq_8.16.1+dfsg-1.dsc                              16-Feb-2023 22:35                2629
coq_8.16.1+dfsg.orig.tar.xz                        16-Feb-2023 22:35             4717668
coq_8.9.0-1.debian.tar.xz                          08-Apr-2019 11:24               27816
coq_8.9.0-1.dsc                                    08-Apr-2019 11:24                2417
coq_8.9.0-1_amd64.deb                              08-Apr-2019 11:03            58990560
coq_8.9.0-1_arm64.deb                              05-Nov-2020 16:04            63337232
coq_8.9.0-1_i386.deb                               05-Nov-2020 16:15            56195896
coq_8.9.0.orig.tar.gz                              08-Apr-2019 11:24             5395769
coqide_8.16.1+dfsg-1+b2_amd64.deb                  06-Mar-2023 11:26             1993412
coqide_8.16.1+dfsg-1+b2_arm64.deb                  06-Mar-2023 11:25             2310756
coqide_8.16.1+dfsg-1+b2_i386.deb                   06-Mar-2023 11:23             1806236
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   06-Mar-2023 11:28            42725424
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb   06-Mar-2023 11:23            42825080
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    06-Mar-2023 11:23            42449528
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       06-Mar-2023 11:25            22556068
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb       06-Mar-2023 11:27            23093000
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        06-Mar-2023 11:23            21747176
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 08-Apr-2019 09:30            13703936
libcoq-ocaml-dev_8.9.0-1_arm64.deb                 05-Nov-2020 16:08            14001864
libcoq-ocaml-dev_8.9.0-1_i386.deb                  05-Nov-2020 15:51            13728788
libcoq-ocaml_8.9.0-1_amd64.deb                     08-Apr-2019 09:58             5463112
libcoq-ocaml_8.9.0-1_arm64.deb                     05-Nov-2020 16:16             5803688
libcoq-ocaml_8.9.0-1_i386.deb                      05-Nov-2020 16:14             5186088
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           06-Mar-2023 11:28            21526056
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb           06-Mar-2023 11:23            21528036
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            06-Mar-2023 11:26            21528432