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

../
cvc5-dbgsym_1.3.2-1_powerpc.deb                    24-Dec-2025 06:03             2147276
cvc5_1.3.2-1_powerpc.buildinfo                     24-Dec-2025 06:03               11410
cvc5_1.3.2-1_powerpc.deb                           24-Dec-2025 06:03              133520
libcvc5-1-dbgsym_1.3.2-1_powerpc.deb               24-Dec-2025 06:03           204087248
libcvc5-1_1.3.2-1_powerpc.deb                      24-Dec-2025 06:03             6903680
libcvc5-dev_1.3.2-1_powerpc.deb                    24-Dec-2025 06:03              124016
libcvc5parser1-dbgsym_1.3.2-1_powerpc.deb          24-Dec-2025 06:03             4555700
libcvc5parser1_1.3.2-1_powerpc.deb                 24-Dec-2025 06:03              251136
python3-cvc5-dbgsym_1.3.2-1_powerpc.deb            24-Dec-2025 06:03             1338976
python3-cvc5_1.3.2-1_powerpc.deb                   24-Dec-2025 06:03              324988