Index of /mirrors/parrot/pool/main/c/coq/

../
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.16.1+dfsg-1.debian.tar.xz                                                                                          29-Nov-2022 08:35     32K
coq_8.16.1+dfsg-1.dsc                                                                                                    29-Nov-2022 08:35    2629
coq_8.16.1+dfsg.orig.tar.xz                                                                                              29-Nov-2022 08:35      4M
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
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_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-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