Index of /debian/pool/main/c/cvc4/

../
cvc4_1.8-3+b4_amd64.deb                            24-Aug-2026 17:41     81K
cvc4_1.8-3+b4_arm64.deb                            24-Aug-2026 17:41     75K
cvc4_1.8-3_amd64.deb                               24-Aug-2026 17:41     79K
cvc4_1.8-3_arm64.deb                               24-Aug-2026 17:41     74K
libcvc4-7_1.8-3+b4_amd64.deb                       24-Aug-2026 17:41      6M
libcvc4-7_1.8-3+b4_arm64.deb                       24-Aug-2026 17:41      5M
libcvc4-7_1.8-3_amd64.deb                          24-Aug-2026 17:41      6M
libcvc4-7_1.8-3_arm64.deb                          24-Aug-2026 17:41      5M
libcvc4-dev_1.8-3+b4_amd64.deb                     24-Aug-2026 17:41    128K
libcvc4-dev_1.8-3+b4_arm64.deb                     24-Aug-2026 17:41    128K
libcvc4-dev_1.8-3_amd64.deb                        24-Aug-2026 17:41    128K
libcvc4-dev_1.8-3_arm64.deb                        24-Aug-2026 17:41    128K
libcvc4parser7_1.8-3+b4_amd64.deb                  24-Aug-2026 17:41    373K
libcvc4parser7_1.8-3+b4_arm64.deb                  24-Aug-2026 17:41    326K
libcvc4parser7_1.8-3_amd64.deb                     24-Aug-2026 17:41    354K
libcvc4parser7_1.8-3_arm64.deb                     24-Aug-2026 17:41    315K