Index of /kylinsoft/anything2.0/openkylin/pool/main/c/cvc4/

../
cvc4_1.8-ok1.debian.tar.xz                         25-Mar-2024 18:02               15904
cvc4_1.8-ok1.dsc                                   25-Mar-2024 18:02                2030
cvc4_1.8-ok1_amd64.deb                             28-Apr-2024 17:01               68148
cvc4_1.8-ok1_arm64.deb                             30-Apr-2024 10:39               63652
cvc4_1.8-ok1_loong64.deb                           05-Aug-2024 01:13               77240
cvc4_1.8-ok1_riscv64.deb                           03-Apr-2024 19:58               74930
cvc4_1.8.orig.tar.gz                               25-Mar-2024 18:02             7547187
libcvc4-7_1.8-ok1_amd64.deb                        28-Apr-2024 17:01             4327860
libcvc4-7_1.8-ok1_arm64.deb                        30-Apr-2024 10:39             3665484
libcvc4-7_1.8-ok1_loong64.deb                      05-Aug-2024 01:13             5357212
libcvc4-7_1.8-ok1_riscv64.deb                      03-Apr-2024 19:58             6359298
libcvc4-dev_1.8-ok1_amd64.deb                      28-Apr-2024 17:01              123188
libcvc4-dev_1.8-ok1_arm64.deb                      30-Apr-2024 10:39              123192
libcvc4-dev_1.8-ok1_loong64.deb                    05-Aug-2024 01:13              130216
libcvc4-dev_1.8-ok1_riscv64.deb                    03-Apr-2024 19:58              125176
libcvc4parser7_1.8-ok1_amd64.deb                   28-Apr-2024 17:01              339788
libcvc4parser7_1.8-ok1_arm64.deb                   30-Apr-2024 10:39              296780
libcvc4parser7_1.8-ok1_loong64.deb                 05-Aug-2024 01:13              331268
libcvc4parser7_1.8-ok1_riscv64.deb                 03-Apr-2024 19:58              373984