Index of /trixie/pool-loong64/main/c/coq/

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