Index of /debian-ports/pool-loong64/main/c/coq/

../
coq-dbgsym_8.19.1+dfsg-3_loong64.deb               03-Aug-2024 21:03      9M
coq_8.19.1+dfsg-3_loong64.buildinfo                03-Aug-2024 21:03     17K
coq_8.19.1+dfsg-3_loong64.deb                      03-Aug-2024 21:03     81M
coqide-dbgsym_8.19.1+dfsg-3_loong64.deb            03-Aug-2024 21:03    652K
coqide_8.19.1+dfsg-3_loong64.deb                   03-Aug-2024 21:03      2M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_loong64.deb 03-Aug-2024 21:03      2M
libcoq-core-ocaml-dev_8.19.1+dfsg-3_loong64.deb    03-Aug-2024 21:03     47M
libcoq-core-ocaml_8.19.1+dfsg-3_loong64.deb        03-Aug-2024 21:03     23M
libcoq-stdlib_8.19.1+dfsg-3_loong64.deb            03-Aug-2024 21:03     23M