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

../
cvc5_1.1.2-ok1.debian.tar.xz                       25-Mar-2024 18:02                6148
cvc5_1.1.2-ok1.dsc                                 25-Mar-2024 18:02                2256
cvc5_1.1.2-ok1_amd64.deb                           28-Apr-2024 17:01               80188
cvc5_1.1.2-ok1_arm64.deb                           30-Apr-2024 11:01               71912
cvc5_1.1.2-ok1_loong64.deb                         05-Aug-2024 01:35               99536
cvc5_1.1.2-ok1_riscv64.deb                         13-Jul-2024 19:08               90972
cvc5_1.1.2.orig.tar.gz                             25-Mar-2024 18:02             8581968
libcvc5-1_1.1.2-ok1_amd64.deb                      28-Apr-2024 17:01             4609260
libcvc5-1_1.1.2-ok1_arm64.deb                      30-Apr-2024 11:01             3905456
libcvc5-1_1.1.2-ok1_loong64.deb                    05-Aug-2024 01:35             5586388
libcvc5-1_1.1.2-ok1_riscv64.deb                    13-Jul-2024 19:08             6292368
libcvc5-dev_1.1.2-ok1_amd64.deb                    28-Apr-2024 17:01               82844
libcvc5-dev_1.1.2-ok1_arm64.deb                    30-Apr-2024 11:01               82844
libcvc5-dev_1.1.2-ok1_loong64.deb                  05-Aug-2024 01:35               92340
libcvc5-dev_1.1.2-ok1_riscv64.deb                  13-Jul-2024 19:08               82876
libcvc5parser1_1.1.2-ok1_amd64.deb                 28-Apr-2024 17:01              187780
libcvc5parser1_1.1.2-ok1_arm64.deb                 30-Apr-2024 11:01              163116
libcvc5parser1_1.1.2-ok1_loong64.deb               05-Aug-2024 01:35              210212
libcvc5parser1_1.1.2-ok1_riscv64.deb               13-Jul-2024 19:08              202336
python3-cvc5_1.1.2-ok1_amd64.deb                   28-Apr-2024 17:01              325208
python3-cvc5_1.1.2-ok1_arm64.deb                   30-Apr-2024 11:01              285160
python3-cvc5_1.1.2-ok1_loong64.deb                 05-Aug-2024 01:35              294460
python3-cvc5_1.1.2-ok1_riscv64.deb                 13-Jul-2024 19:08              299784