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

../
cvc4_1.8-ok1_amd64.deb                             05-Dec-2025 15:50               70096
cvc4_1.8-ok1_arm64.deb                             05-Dec-2025 14:36               65600
cvc4_1.8-ok1_loong64.deb                           05-Dec-2025 13:14               79188
libcvc4-7_1.8-ok1_amd64.deb                        05-Dec-2025 15:27             4329806
libcvc4-7_1.8-ok1_arm64.deb                        05-Dec-2025 14:16             3667432
libcvc4-7_1.8-ok1_loong64.deb                      05-Dec-2025 13:19             5359160
libcvc4-dev_1.8-ok1_amd64.deb                      05-Dec-2025 15:21              125136
libcvc4-dev_1.8-ok1_arm64.deb                      05-Dec-2025 14:11              125140
libcvc4-dev_1.8-ok1_loong64.deb                    05-Dec-2025 12:50              132164
libcvc4parser7_1.8-ok1_amd64.deb                   05-Dec-2025 15:38              341736
libcvc4parser7_1.8-ok1_arm64.deb                   05-Dec-2025 14:25              298728
libcvc4parser7_1.8-ok1_loong64.deb                 05-Dec-2025 13:59              333214