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

../
coq-dbgsym_8.19.1+dfsg-3_loong64.deb               29-Oct-2024 21:16             9664412
coq_8.19.1+dfsg-3.debian.tar.xz                    15-Nov-2024 13:48               32904
coq_8.19.1+dfsg-3.dsc                              15-Nov-2024 13:48                2341
coq_8.19.1+dfsg-3_loong64.deb                      29-Oct-2024 21:16            84868828
coq_8.19.1+dfsg.orig.tar.bz2                       15-Nov-2024 13:48             5589471
coqide-dbgsym_8.19.1+dfsg-3_loong64.deb            29-Oct-2024 21:16              667660
coqide_8.19.1+dfsg-3_loong64.deb                   29-Oct-2024 21:16             2204088
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_loong64.deb 29-Oct-2024 21:16             2223288
libcoq-core-ocaml-dev_8.19.1+dfsg-3_loong64.deb    29-Oct-2024 21:16            49122980
libcoq-core-ocaml_8.19.1+dfsg-3_loong64.deb        29-Oct-2024 21:16            23685884
libcoq-stdlib_8.19.1+dfsg-3_loong64.deb            29-Oct-2024 21:16            23655080