Index of /debian-ports/pool-powerpc/main/c/cvc4/

../
cvc4-dbgsym_1.8-5_powerpc.deb                      27-Oct-2025 12:03              986956
cvc4_1.8-5_powerpc.buildinfo                       27-Oct-2025 12:03                9759
cvc4_1.8-5_powerpc.deb                             27-Oct-2025 12:03               76832
libcvc4-7-dbgsym_1.8-5_powerpc.deb                 27-Oct-2025 12:03           192357912
libcvc4-7_1.8-5_powerpc.deb                        27-Oct-2025 12:03             5886000
libcvc4-dev_1.8-5_powerpc.deb                      27-Oct-2025 12:03              131304
libcvc4parser7-dbgsym_1.8-5_powerpc.deb            27-Oct-2025 12:03             5234452
libcvc4parser7_1.8-5_powerpc.deb                   27-Oct-2025 12:03              357964