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

../
cvc4-dbgsym_1.8-3+b3_loong64.deb                   08-Apr-2025 00:03             1000812
cvc4-dbgsym_1.8-4_loong64.deb                      12-Aug-2025 00:03             1000836
cvc4_1.8-3+b3_loong64.buildinfo                    08-Apr-2025 00:03               10181
cvc4_1.8-3+b3_loong64.deb                          08-Apr-2025 00:03               77848
cvc4_1.8-4_loong64.buildinfo                       12-Aug-2025 00:03                9732
cvc4_1.8-4_loong64.deb                             12-Aug-2025 00:03               77728
libcvc4-7-dbgsym_1.8-3+b3_loong64.deb              08-Apr-2025 00:03           202446452
libcvc4-7-dbgsym_1.8-4_loong64.deb                 12-Aug-2025 00:03           202437808
libcvc4-7_1.8-3+b3_loong64.deb                     08-Apr-2025 00:03             5886504
libcvc4-7_1.8-4_loong64.deb                        12-Aug-2025 00:03             5886384
libcvc4-dev_1.8-3+b3_loong64.deb                   08-Apr-2025 00:03              131428
libcvc4-dev_1.8-4_loong64.deb                      12-Aug-2025 00:03              131160
libcvc4parser7-dbgsym_1.8-3+b3_loong64.deb         08-Apr-2025 00:03             5267016
libcvc4parser7-dbgsym_1.8-4_loong64.deb            12-Aug-2025 00:03             5267320
libcvc4parser7_1.8-3+b3_loong64.deb                08-Apr-2025 00:03              350308
libcvc4parser7_1.8-4_loong64.deb                   12-Aug-2025 00:03              351136