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

../
cvc5_1.1.2-ok1_amd64.deb                           05-Dec-2025 15:14               82136
cvc5_1.1.2-ok1_arm64.deb                           05-Dec-2025 14:05               73858
cvc5_1.1.2-ok1_loong64.deb                         05-Dec-2025 11:56              101484
libcvc5-1_1.1.2-ok1_amd64.deb                      05-Dec-2025 15:40             4611208
libcvc5-1_1.1.2-ok1_arm64.deb                      05-Dec-2025 14:27             3907402
libcvc5-1_1.1.2-ok1_loong64.deb                    05-Dec-2025 12:07             5588336
libcvc5-dev_1.1.2-ok1_amd64.deb                    05-Dec-2025 15:21               84790
libcvc5-dev_1.1.2-ok1_arm64.deb                    05-Dec-2025 14:11               84792
libcvc5-dev_1.1.2-ok1_loong64.deb                  05-Dec-2025 12:56               94288
libcvc5parser1_1.1.2-ok1_amd64.deb                 05-Dec-2025 15:42              189728
libcvc5parser1_1.1.2-ok1_arm64.deb                 05-Dec-2025 14:29              165062
libcvc5parser1_1.1.2-ok1_loong64.deb               05-Dec-2025 12:29              212160
python3-cvc5_1.1.2-ok1_amd64.deb                   05-Dec-2025 15:21              327156
python3-cvc5_1.1.2-ok1_arm64.deb                   05-Dec-2025 14:11              287108
python3-cvc5_1.1.2-ok1_loong64.deb                 05-Dec-2025 12:54              296408