../ cvc4-dbgsym_1.8-4_powerpc.deb 11-Aug-2025 18:03 980K cvc4_1.8-4_powerpc.buildinfo 11-Aug-2025 18:03 9758 cvc4_1.8-4_powerpc.deb 11-Aug-2025 18:03 77K libcvc4-7-dbgsym_1.8-4_powerpc.deb 11-Aug-2025 18:03 192M libcvc4-7_1.8-4_powerpc.deb 11-Aug-2025 18:03 6M libcvc4-dev_1.8-4_powerpc.deb 11-Aug-2025 18:03 128K libcvc4parser7-dbgsym_1.8-4_powerpc.deb 11-Aug-2025 18:03 5M libcvc4parser7_1.8-4_powerpc.deb 11-Aug-2025 18:03 346K