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

../
cvc4_1.8-3_arm64.deb                               29-Oct-2022 14:47               75564
cvc4_1.8-3_armel.deb                               29-Oct-2022 14:57               74128
cvc4_1.8-3_armhf.deb                               29-Oct-2022 14:47               75108
libcvc4-7_1.8-3_arm64.deb                          29-Oct-2022 14:47             4997468
libcvc4-7_1.8-3_armel.deb                          29-Oct-2022 14:57             5225988
libcvc4-7_1.8-3_armhf.deb                          29-Oct-2022 14:47             5299080
libcvc4-dev_1.8-3_arm64.deb                        29-Oct-2022 14:47              131120
libcvc4-dev_1.8-3_armel.deb                        29-Oct-2022 14:57              131104
libcvc4-dev_1.8-3_armhf.deb                        29-Oct-2022 14:47              131116
libcvc4parser7_1.8-3_arm64.deb                     29-Oct-2022 14:47              322668
libcvc4parser7_1.8-3_armel.deb                     29-Oct-2022 14:57              317304
libcvc4parser7_1.8-3_armhf.deb                     29-Oct-2022 14:47              329652