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

../
cvc4_1.8-ok1_amd64.deb                             29-Sep-2024 07:43               70016
cvc4_1.8-ok1_arm64.deb                             09-Oct-2024 09:52               65520
cvc4_1.8-ok1_loong64.deb                           31-Oct-2024 11:23               79106
libcvc4-7_1.8-ok1_amd64.deb                        29-Sep-2024 07:06             4329726
libcvc4-7_1.8-ok1_arm64.deb                        09-Oct-2024 09:28             3667352
libcvc4-7_1.8-ok1_loong64.deb                      31-Oct-2024 10:47             5359080
libcvc4-dev_1.8-ok1_amd64.deb                      29-Sep-2024 07:21              125056
libcvc4-dev_1.8-ok1_arm64.deb                      09-Oct-2024 09:34              125060
libcvc4-dev_1.8-ok1_loong64.deb                    31-Oct-2024 10:46              132084
libcvc4parser7_1.8-ok1_amd64.deb                   29-Sep-2024 08:34              341654
libcvc4parser7_1.8-ok1_arm64.deb                   09-Oct-2024 10:06              298648
libcvc4parser7_1.8-ok1_loong64.deb                 31-Oct-2024 10:39              333136