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

../
cvc5_1.1.2-ok1_amd64.deb                           29-Sep-2024 10:18               82056
cvc5_1.1.2-ok1_arm64.deb                           09-Oct-2024 10:19               73780
cvc5_1.1.2-ok1_loong64.deb                         31-Oct-2024 11:03              101404
libcvc5-1_1.1.2-ok1_amd64.deb                      29-Sep-2024 08:33             4611126
libcvc5-1_1.1.2-ok1_arm64.deb                      09-Oct-2024 09:46             3907324
libcvc5-1_1.1.2-ok1_loong64.deb                    31-Oct-2024 11:11             5588256
libcvc5-dev_1.1.2-ok1_amd64.deb                    29-Sep-2024 07:32               84712
libcvc5-dev_1.1.2-ok1_arm64.deb                    09-Oct-2024 09:24               84712
libcvc5-dev_1.1.2-ok1_loong64.deb                  31-Oct-2024 10:13               94208
libcvc5parser1_1.1.2-ok1_amd64.deb                 29-Sep-2024 09:00              189648
libcvc5parser1_1.1.2-ok1_arm64.deb                 09-Oct-2024 10:08              164984
libcvc5parser1_1.1.2-ok1_loong64.deb               31-Oct-2024 10:51              212078
python3-cvc5_1.1.2-ok1_amd64.deb                   29-Sep-2024 09:10              327076
python3-cvc5_1.1.2-ok1_arm64.deb                   09-Oct-2024 09:22              287026
python3-cvc5_1.1.2-ok1_loong64.deb                 31-Oct-2024 11:13              296326