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

../
cvc5-dbgsym_1.1.2-2+b2_ppc64.deb                   28-Oct-2024 18:03             1879476
cvc5_1.1.2-2+b2_ppc64.buildinfo                    28-Oct-2024 18:03               11596
cvc5_1.1.2-2+b2_ppc64.deb                          28-Oct-2024 18:03              103504
libcvc5-1-dbgsym_1.1.2-2+b2_ppc64.deb              28-Oct-2024 18:03           180314484
libcvc5-1_1.1.2-2+b2_ppc64.deb                     28-Oct-2024 18:03             6097360
libcvc5-dev_1.1.2-2+b2_ppc64.deb                   28-Oct-2024 18:03               93252
libcvc5parser1-dbgsym_1.1.2-2+b2_ppc64.deb         28-Oct-2024 18:03             4052216
libcvc5parser1_1.1.2-2+b2_ppc64.deb                28-Oct-2024 18:03              232744
python3-cvc5-dbgsym_1.1.2-2+b2_ppc64.deb           28-Oct-2024 18:03             2590912
python3-cvc5_1.1.2-2+b2_ppc64.deb                  28-Oct-2024 18:03              293000