Index of /pool/main/c/cvc4/

../
cvc4_1.8-5_amd64.deb                               06-Dec-2025 14:04               80784
cvc4_1.8-5_i386.deb                                06-Dec-2025 14:33               82752
libcvc4-7_1.8-5_amd64.deb                          06-Dec-2025 13:23             6491580
libcvc4-7_1.8-5_i386.deb                           06-Dec-2025 14:06             6931028
libcvc4-dev_1.8-5_amd64.deb                        06-Dec-2025 15:35              131292
libcvc4-dev_1.8-5_i386.deb                         06-Dec-2025 15:00              131300
libcvc4parser7_1.8-5_amd64.deb                     06-Dec-2025 15:35              385420
libcvc4parser7_1.8-5_i386.deb                      06-Dec-2025 13:47              413520