Index of /loongnix/25/pool/main/c/cvc4/

../
cvc4-dbgsym_1.8-3_loong64.deb                      22-Sep-2025 09:29             1000832
cvc4_1.8-3.debian.tar.xz                           22-Sep-2025 09:29               16736
cvc4_1.8-3.dsc                                     22-Sep-2025 09:29                1340
cvc4_1.8-3_loong64.deb                             22-Sep-2025 09:29               77468
cvc4_1.8.orig.tar.gz                               22-Sep-2025 09:29             7547187
libcvc4-7-dbgsym_1.8-3_loong64.deb                 22-Sep-2025 09:29           202437712
libcvc4-7_1.8-3_loong64.deb                        22-Sep-2025 09:29             5874304
libcvc4-dev_1.8-3_loong64.deb                      22-Sep-2025 09:29              131192
libcvc4parser7-dbgsym_1.8-3_loong64.deb            22-Sep-2025 09:29             5267292
libcvc4parser7_1.8-3_loong64.deb                   22-Sep-2025 09:29              350256