Index of /loongson64/pool/main/c/coq/

../
coq-theories_8.6-4_mips64el.deb                    24-Apr-2019 17:14     22M
coq_8.6-4.debian.tar.xz                            24-Apr-2019 17:14     21K
coq_8.6-4.dsc                                      24-Apr-2019 17:14    2396
coq_8.6-4_mips64el.deb                             24-Apr-2019 17:14     18M
coq_8.6.orig.tar.gz                                24-Apr-2019 17:14      5M
coqide_8.6-4_mips64el.deb                          24-Apr-2019 17:14      2M
libcoq-ocaml-dev_8.6-4_mips64el.deb                24-Apr-2019 17:14     10M
libcoq-ocaml_8.6-4_mips64el.deb                    24-Apr-2019 17:14      2M