../ cvc4_1.6-2+b1_amd64.deb 25-Jan-2023 15:41 133K cvc4_1.6-2+b1_i386.deb 08-Nov-2024 08:25 136K libcvc4-5_1.6-2+b1_amd64.deb 25-Jan-2023 19:03 4M libcvc4-5_1.6-2+b1_i386.deb 08-Nov-2024 08:59 4M libcvc4-dev_1.6-2+b1_amd64.deb 25-Jan-2023 19:03 6M libcvc4-dev_1.6-2+b1_i386.deb 08-Nov-2024 08:59 7M libcvc4parser5_1.6-2+b1_amd64.deb 25-Jan-2023 19:03 354K libcvc4parser5_1.6-2+b1_i386.deb 08-Nov-2024 08:59 380K