Index of /beige/pool/community/c/cvc4/

../
cvc4-dbgsym_1.8-3_amd64.deb                        04-Jan-2026 13:00             1007644
cvc4-dbgsym_1.8-3_arm64.deb                        04-Jan-2026 13:00              992708
cvc4-dbgsym_1.8-3_i386.deb                         04-Jan-2026 13:00              994536
cvc4-dbgsym_1.8-3_loong64.deb                      04-Jan-2026 13:00              992888
cvc4-dbgsym_1.8-3_riscv64.deb                      04-Jan-2026 13:00              875092
cvc4_1.8-3.debian.tar.xz                           04-Jan-2026 13:00               16728
cvc4_1.8-3.dsc                                     04-Jan-2026 13:00                1340
cvc4_1.8-3_amd64.deb                               04-Jan-2026 13:00               81420
cvc4_1.8-3_arm64.deb                               04-Jan-2026 13:00               75528
cvc4_1.8-3_i386.deb                                04-Jan-2026 13:00               83176
cvc4_1.8-3_loong64.deb                             04-Jan-2026 13:00               77776
cvc4_1.8-3_riscv64.deb                             04-Jan-2026 13:00               76900
cvc4_1.8.orig.tar.gz                               04-Jan-2026 13:00             7547187
libcvc4-7-dbgsym_1.8-3_amd64.deb                   04-Jan-2026 13:00           198703288
libcvc4-7-dbgsym_1.8-3_arm64.deb                   04-Jan-2026 13:00           193959700
libcvc4-7-dbgsym_1.8-3_i386.deb                    04-Jan-2026 13:00           194063880
libcvc4-7-dbgsym_1.8-3_loong64.deb                 04-Jan-2026 13:00           193549540
libcvc4-7-dbgsym_1.8-3_riscv64.deb                 04-Jan-2026 13:00           159465176
libcvc4-7_1.8-3_amd64.deb                          04-Jan-2026 13:00             5872544
libcvc4-7_1.8-3_arm64.deb                          04-Jan-2026 13:00             4978960
libcvc4-7_1.8-3_i386.deb                           04-Jan-2026 13:00             6634320
libcvc4-7_1.8-3_loong64.deb                        04-Jan-2026 13:00             5424912
libcvc4-7_1.8-3_riscv64.deb                        04-Jan-2026 13:00             5790884
libcvc4-dev_1.8-3_amd64.deb                        04-Jan-2026 13:00              131188
libcvc4-dev_1.8-3_arm64.deb                        04-Jan-2026 13:00              131188
libcvc4-dev_1.8-3_i386.deb                         04-Jan-2026 13:00              131180
libcvc4-dev_1.8-3_loong64.deb                      04-Jan-2026 13:00              131192
libcvc4-dev_1.8-3_riscv64.deb                      04-Jan-2026 13:00              131192
libcvc4parser7-dbgsym_1.8-3_amd64.deb              04-Jan-2026 13:00             5224156
libcvc4parser7-dbgsym_1.8-3_arm64.deb              04-Jan-2026 13:00             5069420
libcvc4parser7-dbgsym_1.8-3_i386.deb               04-Jan-2026 13:00             5092076
libcvc4parser7-dbgsym_1.8-3_loong64.deb            04-Jan-2026 13:00             5160256
libcvc4parser7-dbgsym_1.8-3_riscv64.deb            04-Jan-2026 13:00             4183840
libcvc4parser7_1.8-3_amd64.deb                     04-Jan-2026 13:00              359184
libcvc4parser7_1.8-3_arm64.deb                     04-Jan-2026 13:00              316692
libcvc4parser7_1.8-3_i386.deb                      04-Jan-2026 13:00              386964
libcvc4parser7_1.8-3_loong64.deb                   04-Jan-2026 13:00              334984
libcvc4parser7_1.8-3_riscv64.deb                   04-Jan-2026 13:00              334052