Index of /seedlin/pool/main/c/cvc4/

../
cvc4_1.8-3+b4_amd64.deb                            11-Jun-2026 16:19               82828
cvc4_1.8-3+b4_riscv64.deb                          11-Jun-2026 16:19               79248
cvc4_1.8-3.debian.tar.xz                           11-Jun-2026 16:19               16728
cvc4_1.8-3.dsc                                     11-Jun-2026 16:19                2244
cvc4_1.8.orig.tar.gz                               11-Jun-2026 16:19             7547187
libcvc4-7_1.8-3+b4_amd64.deb                       11-Jun-2026 16:19             6616160
libcvc4-7_1.8-3+b4_riscv64.deb                     11-Jun-2026 16:19             6548720
libcvc4-dev_1.8-3+b4_amd64.deb                     11-Jun-2026 16:19              131428
libcvc4-dev_1.8-3+b4_riscv64.deb                   11-Jun-2026 16:19              131448
libcvc4parser7_1.8-3+b4_amd64.deb                  11-Jun-2026 16:19              382200
libcvc4parser7_1.8-3+b4_riscv64.deb                11-Jun-2026 16:19              371428