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

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