Index of /kylin/KYLIN-ALL/pool/universe/c/cvc5/

../
cvc5_1.1.2-ok1_amd64.deb                           18-Apr-2025 03:46               82056
cvc5_1.1.2-ok1_arm64.deb                           18-Apr-2025 04:18               73778
cvc5_1.1.2-ok1_loong64.deb                         18-Apr-2025 04:48              101404
cvc5_1.1.2-ok1_riscv64.deb                         11-Aug-2025 12:09               92840
libcvc5-1_1.1.2-ok1_amd64.deb                      18-Apr-2025 03:23             4611128
libcvc5-1_1.1.2-ok1_arm64.deb                      18-Apr-2025 04:27             3907322
libcvc5-1_1.1.2-ok1_loong64.deb                    18-Apr-2025 05:00             5588256
libcvc5-1_1.1.2-ok1_riscv64.deb                    11-Aug-2025 12:03             6294236
libcvc5-dev_1.1.2-ok1_amd64.deb                    18-Apr-2025 03:44               84710
libcvc5-dev_1.1.2-ok1_arm64.deb                    18-Apr-2025 04:14               84712
libcvc5-dev_1.1.2-ok1_loong64.deb                  18-Apr-2025 04:45               94208
libcvc5-dev_1.1.2-ok1_riscv64.deb                  11-Aug-2025 12:21               84742
libcvc5parser1_1.1.2-ok1_amd64.deb                 18-Apr-2025 03:17              189648
libcvc5parser1_1.1.2-ok1_arm64.deb                 18-Apr-2025 04:21              164982
libcvc5parser1_1.1.2-ok1_loong64.deb               18-Apr-2025 04:52              212080
libcvc5parser1_1.1.2-ok1_riscv64.deb               11-Aug-2025 12:23              204202
python3-cvc5_1.1.2-ok1_amd64.deb                   18-Apr-2025 03:11              327076
python3-cvc5_1.1.2-ok1_arm64.deb                   18-Apr-2025 04:13              287028
python3-cvc5_1.1.2-ok1_loong64.deb                 18-Apr-2025 04:44              296328
python3-cvc5_1.1.2-ok1_riscv64.deb                 11-Aug-2025 11:48              301650