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

../
cvc5-dbgsym_1.1.2-2+b2_powerpc.deb                 29-Oct-2024 18:03             1856096
cvc5_1.1.2-2+b2_powerpc.buildinfo                  29-Oct-2024 18:03               11658
cvc5_1.1.2-2+b2_powerpc.deb                        29-Oct-2024 18:03               99860
libcvc5-1-dbgsym_1.1.2-2+b2_powerpc.deb            29-Oct-2024 18:03           179461204
libcvc5-1_1.1.2-2+b2_powerpc.deb                   29-Oct-2024 18:03             5960684
libcvc5-dev_1.1.2-2+b2_powerpc.deb                 29-Oct-2024 18:03               93268
libcvc5parser1-dbgsym_1.1.2-2+b2_powerpc.deb       29-Oct-2024 18:03             4008348
libcvc5parser1_1.1.2-2+b2_powerpc.deb              29-Oct-2024 18:03              219708
python3-cvc5-dbgsym_1.1.2-2+b2_powerpc.deb         29-Oct-2024 18:03             2565944
python3-cvc5_1.1.2-2+b2_powerpc.deb                29-Oct-2024 18:03              278392