Index of /mirror/deb.debian.org/debian/pool/main/c/cvc4/

../
cvc4_1.6-2+b1_amd64.deb                            10-Oct-2023 03:22              136244
cvc4_1.8-2_amd64.deb                               10-Oct-2023 10:25               81488
cvc4_1.8-2_armhf.deb                               10-Oct-2023 10:25               75652
cvc4_1.8-3_amd64.deb                               10-Oct-2023 10:25               80688
cvc4_1.8-3_armhf.deb                               10-Oct-2023 10:25               75108
libcvc4-5_1.6-2+b1_amd64.deb                       10-Oct-2023 03:22             4056556
libcvc4-7_1.8-2_amd64.deb                          10-Oct-2023 10:25             5651716
libcvc4-7_1.8-2_armhf.deb                          10-Oct-2023 10:25             4989728
libcvc4-7_1.8-3_amd64.deb                          10-Oct-2023 10:25             5936792
libcvc4-7_1.8-3_armhf.deb                          10-Oct-2023 10:25             5299080
libcvc4-dev_1.6-2+b1_amd64.deb                     10-Oct-2023 03:22             6718020
libcvc4-dev_1.8-2_amd64.deb                        10-Oct-2023 10:25              131264
libcvc4-dev_1.8-2_armhf.deb                        10-Oct-2023 10:25              131256
libcvc4-dev_1.8-3_amd64.deb                        10-Oct-2023 10:25              131112
libcvc4-dev_1.8-3_armhf.deb                        10-Oct-2023 10:25              131116
libcvc4parser5_1.6-2+b1_amd64.deb                  10-Oct-2023 03:22              362516
libcvc4parser7_1.8-2_amd64.deb                     10-Oct-2023 10:25              366212
libcvc4parser7_1.8-2_armhf.deb                     10-Oct-2023 10:25              328140
libcvc4parser7_1.8-3_amd64.deb                     10-Oct-2023 10:25              362304
libcvc4parser7_1.8-3_armhf.deb                     10-Oct-2023 10:25              329652