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

../
cvc4_1.6-2build2_amd64.deb                         25-May-2021 07:12              143356
cvc4_1.6-2build2_i386.deb                          02-Nov-2022 13:50              145708
cvc4_1.6-2build2_mips64el.deb                      28-May-2021 21:36              126440
cvc4_1.8-ok1_amd64.deb                             18-Apr-2025 03:08               70016
cvc4_1.8-ok1_arm64.deb                             18-Apr-2025 04:12               65520
cvc4_1.8-ok1_loong64.deb                           18-Apr-2025 04:43               79108
libcvc4-5_1.6-2build2_amd64.deb                    25-May-2021 07:23             4515788
libcvc4-5_1.6-2build2_i386.deb                     02-Nov-2022 13:43             4854076
libcvc4-5_1.6-2build2_mips64el.deb                 28-May-2021 21:36             3479758
libcvc4-7_1.8-ok1_amd64.deb                        18-Apr-2025 03:47             4329726
libcvc4-7_1.8-ok1_arm64.deb                        18-Apr-2025 04:19             3667352
libcvc4-7_1.8-ok1_loong64.deb                      18-Apr-2025 04:50             5359080
libcvc4-dev_1.6-2build2_amd64.deb                  25-May-2021 07:23             7300790
libcvc4-dev_1.6-2build2_i386.deb                   02-Nov-2022 13:42             7695108
libcvc4-dev_1.6-2build2_mips64el.deb               28-May-2021 21:36             8031872
libcvc4-dev_1.8-ok1_amd64.deb                      18-Apr-2025 03:31              125056
libcvc4-dev_1.8-ok1_arm64.deb                      18-Apr-2025 04:05              125060
libcvc4-dev_1.8-ok1_loong64.deb                    18-Apr-2025 04:36              132084
libcvc4parser5_1.6-2build2_amd64.deb               25-May-2021 07:23              370840
libcvc4parser5_1.6-2build2_i386.deb                02-Nov-2022 13:33              392440
libcvc4parser5_1.6-2build2_mips64el.deb            28-May-2021 21:36              305156
libcvc4parser7_1.8-ok1_amd64.deb                   18-Apr-2025 03:25              341656
libcvc4parser7_1.8-ok1_arm64.deb                   18-Apr-2025 03:57              298648
libcvc4parser7_1.8-ok1_loong64.deb                 18-Apr-2025 04:29              333134