../ cvc4-dbgsym_1.8-4_x32.deb 12-Aug-2025 09:03 984K cvc4_1.8-4_x32.buildinfo 12-Aug-2025 09:03 9739 cvc4_1.8-4_x32.deb 12-Aug-2025 09:03 80K libcvc4-7-dbgsym_1.8-4_x32.deb 12-Aug-2025 09:03 197M libcvc4-7_1.8-4_x32.deb 12-Aug-2025 09:03 6M libcvc4-dev_1.8-4_x32.deb 12-Aug-2025 09:03 128K libcvc4parser7-dbgsym_1.8-4_x32.deb 12-Aug-2025 09:03 5M libcvc4parser7_1.8-4_x32.deb 12-Aug-2025 09:03 380K