Index of /raspbian/pool/main/c/cvc4/

../
cvc4_1.8-2_armhf.deb                               12-Jan-2022 13:22               74328
cvc4_1.8-3_armhf.deb                               16-Jan-2024 21:47               73876
libcvc4-7_1.8-2_armhf.deb                          12-Jan-2022 13:22             4890236
libcvc4-7_1.8-3_armhf.deb                          16-Jan-2024 21:47             5228768
libcvc4-dev_1.8-2_armhf.deb                        12-Jan-2022 13:22              131256
libcvc4-dev_1.8-3_armhf.deb                        16-Jan-2024 21:47              131116
libcvc4parser7_1.8-2_armhf.deb                     12-Jan-2022 13:22              324952
libcvc4parser7_1.8-3_armhf.deb                     16-Jan-2024 21:47              317556