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

../
cvc4-dbgsym_1.8-4_loong64.deb                                                                                            12-Aug-2025 00:03    977K
cvc4_1.8-4_loong64.buildinfo                                                                                             12-Aug-2025 00:03    9732
cvc4_1.8-4_loong64.deb                                                                                                   12-Aug-2025 00:03     76K
libcvc4-7-dbgsym_1.8-4_loong64.deb                                                                                       12-Aug-2025 00:03    193M
libcvc4-7_1.8-4_loong64.deb                                                                                              12-Aug-2025 00:03      6M
libcvc4-dev_1.8-4_loong64.deb                                                                                            12-Aug-2025 00:03    128K
libcvc4parser7-dbgsym_1.8-4_loong64.deb                                                                                  12-Aug-2025 00:03      5M
libcvc4parser7_1.8-4_loong64.deb                                                                                         12-Aug-2025 00:03    343K