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

../
coq-serapi-dbgsym_8.19.0+0.19.3-4_loong64.deb                                                                            04-Aug-2024 12:03      9M
coq-serapi_8.19.0+0.19.3-4_loong64.buildinfo                                                                             04-Aug-2024 12:03    9093
coq-serapi_8.19.0+0.19.3-4_loong64.deb                                                                                   04-Aug-2024 12:03     31M
libcoq-serapi-ocaml-dbgsym_8.19.0+0.19.3-4_loong64.deb                                                                   04-Aug-2024 12:03    537K
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_loong64.deb                                                                      04-Aug-2024 12:03     14M
libcoq-serapi-ocaml_8.19.0+0.19.3-4_loong64.deb                                                                          04-Aug-2024 12:03      6M