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

../
coq-dbgsym_8.19.1+dfsg-3_loong64.deb               03-Aug-2024 12:03             9664412
coq_8.19.1+dfsg-3_loong64.buildinfo                03-Aug-2024 12:03               17085
coq_8.19.1+dfsg-3_loong64.deb                      03-Aug-2024 12:03            84868828
coqide-dbgsym_8.19.1+dfsg-3_loong64.deb            03-Aug-2024 12:03              667660
coqide_8.19.1+dfsg-3_loong64.deb                   03-Aug-2024 12:03             2204088
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_loong64.deb 03-Aug-2024 12:03             2223288
libcoq-core-ocaml-dev_8.19.1+dfsg-3_loong64.deb    03-Aug-2024 12:03            49122980
libcoq-core-ocaml_8.19.1+dfsg-3_loong64.deb        03-Aug-2024 12:03            23685884
libcoq-stdlib_8.19.1+dfsg-3_loong64.deb            03-Aug-2024 12:03            23655080