../ cvc4-dbgsym_1.8-3+b3_x32.deb 11-May-2025 21:03 978K cvc4_1.8-3+b3_x32.buildinfo 11-May-2025 21:03 10K cvc4_1.8-3+b3_x32.deb 11-May-2025 21:03 81K libcvc4-7-dbgsym_1.8-3+b3_x32.deb 11-May-2025 21:03 196M libcvc4-7_1.8-3+b3_x32.deb 11-May-2025 21:03 7M libcvc4-dev_1.8-3+b3_x32.deb 11-May-2025 21:03 128K libcvc4parser7-dbgsym_1.8-3+b3_x32.deb 11-May-2025 21:03 5M libcvc4parser7_1.8-3+b3_x32.deb 11-May-2025 21:03 380K