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

../
cvc4-dbgsym_1.8-3+b3_loong64.deb                   08-Apr-2025 00:03             1000812
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
libcvc4-7-dbgsym_1.8-3+b3_loong64.deb              08-Apr-2025 00:03           202446452
libcvc4-7_1.8-3+b3_loong64.deb                     08-Apr-2025 00:03             5886504
libcvc4-dev_1.8-3+b3_loong64.deb                   08-Apr-2025 00:03              131428
libcvc4parser7-dbgsym_1.8-3+b3_loong64.deb         08-Apr-2025 00:03             5267016
libcvc4parser7_1.8-3+b3_loong64.deb                08-Apr-2025 00:03              350308