Index of /pool/main/c/coq/

../
coq-theories_8.9.0-1_amd64.deb                     07-Feb-2019 02:49     28M
coq-theories_8.9.0-1_arm64.deb                     07-Feb-2019 04:26     19M
coq-theories_8.9.0-1_i386.deb                      07-Feb-2019 04:21     27M
coq-theories_8.9.0-1_loongarch64.deb               30-Nov-2021 18:02     19M
coq-theories_8.9.0-1_mips64el.deb                  09-Feb-2019 16:29     19M
coq_8.9.0-1.debian.tar.xz                          07-Feb-2019 02:49     27K
coq_8.9.0-1.dsc                                    07-Feb-2019 02:49    2417
coq_8.9.0-1_amd64.deb                              07-Feb-2019 02:49     56M
coq_8.9.0-1_arm64.deb                              07-Feb-2019 04:26     60M
coq_8.9.0-1_i386.deb                               07-Feb-2019 04:21     54M
coq_8.9.0-1_loongarch64.deb                        30-Nov-2021 18:02     48M
coq_8.9.0-1_mips64el.deb                           09-Feb-2019 16:29     48M
coq_8.9.0.orig.tar.gz                              07-Feb-2019 02:49      5M
libcoq-ocaml-dbgsym_8.9.0-1_loongarch64.deb        01-Dec-2021 08:57     35K
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 07-Feb-2019 02:49     13M
libcoq-ocaml-dev_8.9.0-1_arm64.deb                 07-Feb-2019 04:26     13M
libcoq-ocaml-dev_8.9.0-1_i386.deb                  07-Feb-2019 04:21     13M
libcoq-ocaml-dev_8.9.0-1_loongarch64.deb           01-Dec-2021 08:57      8M
libcoq-ocaml-dev_8.9.0-1_mips64el.deb              09-Feb-2019 16:29      8M
libcoq-ocaml_8.9.0-1_amd64.deb                     07-Feb-2019 02:49      5M
libcoq-ocaml_8.9.0-1_arm64.deb                     07-Feb-2019 04:26      6M
libcoq-ocaml_8.9.0-1_i386.deb                      07-Feb-2019 04:21      5M
libcoq-ocaml_8.9.0-1_loongarch64.deb               01-Dec-2021 08:57      3M
libcoq-ocaml_8.9.0-1_mips64el.deb                  09-Feb-2019 16:29      3M