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

../
coq-serapi-dbgsym_8.19.0+0.19.3-2_loong64.deb                                                                            01-Jun-2024 12:03      9M
coq-serapi_8.19.0+0.19.3-2_loong64.buildinfo                                                                             01-Jun-2024 12:03    9087
coq-serapi_8.19.0+0.19.3-2_loong64.deb                                                                                   01-Jun-2024 12:03     32M
libcoq-serapi-ocaml-dbgsym_8.19.0+0.19.3-2_loong64.deb                                                                   01-Jun-2024 12:03    622K
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_loong64.deb                                                                      01-Jun-2024 12:03     13M
libcoq-serapi-ocaml_8.19.0+0.19.3-2_loong64.deb                                                                          01-Jun-2024 12:03      6M