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

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