Index of /kylinsoft/anything3.0/openkylin/pool/main/c/cvc5/

../
cvc5_1.3.2-ok1.debian.tar.xz                       06-May-2026 17:50                7912
cvc5_1.3.2-ok1.dsc                                 06-May-2026 17:50                2254
cvc5_1.3.2-ok1_amd64.deb                           31-May-2026 21:02              136142
cvc5_1.3.2-ok1_arm64.deb                           11-May-2026 09:40              123012
cvc5_1.3.2-ok1_loong64.deb                         23-Jun-2026 03:14              144634
cvc5_1.3.2.orig.tar.gz                             06-May-2026 17:50             9250970
libcvc5-1_1.3.2-ok1_amd64.deb                      31-May-2026 21:02             8340506
libcvc5-1_1.3.2-ok1_arm64.deb                      11-May-2026 09:40             6849506
libcvc5-1_1.3.2-ok1_loong64.deb                    23-Jun-2026 03:14             8304098
libcvc5-dev_1.3.2-ok1_amd64.deb                    31-May-2026 21:02              111894
libcvc5-dev_1.3.2-ok1_arm64.deb                    11-May-2026 09:40              111890
libcvc5-dev_1.3.2-ok1_loong64.deb                  23-Jun-2026 03:14              124916
libcvc5parser1_1.3.2-ok1_amd64.deb                 31-May-2026 21:02              280096
libcvc5parser1_1.3.2-ok1_arm64.deb                 11-May-2026 09:40              235086
libcvc5parser1_1.3.2-ok1_loong64.deb               23-Jun-2026 03:14              295904
python3-cvc5_1.3.2-ok1_amd64.deb                   31-May-2026 21:02              523446
python3-cvc5_1.3.2-ok1_arm64.deb                   11-May-2026 09:40              506106
python3-cvc5_1.3.2-ok1_loong64.deb                 23-Jun-2026 03:14              543376