Index of /loongnix/20/pool/main/c/coq/

../
coq-theories_8.9.0-1.1_loongarch64.deb             21-Feb-2023 11:53            20367544
coq_8.9.0-1.1.debian.tar.xz                        21-Mar-2023 07:33               27872
coq_8.9.0-1.1.dsc                                  21-Mar-2023 07:33                1542
coq_8.9.0-1.1_loongarch64.deb                      21-Feb-2023 11:53            50022236
coq_8.9.0.orig.tar.gz                              21-Mar-2023 07:33             5395769
libcoq-ocaml-dbgsym_8.9.0-1.1_loongarch64.deb      21-Feb-2023 11:53               30800
libcoq-ocaml-dev_8.9.0-1.1_loongarch64.deb         21-Feb-2023 11:53             7940692
libcoq-ocaml_8.9.0-1.1_loongarch64.deb             21-Feb-2023 11:53             3581132