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

../
cvc5-dbgsym_1.1.2-2_ppc64.deb                      20-Mar-2024 00:03             1793132
cvc5_1.1.2-2_ppc64.buildinfo                       20-Mar-2024 00:03               11170
cvc5_1.1.2-2_ppc64.deb                             20-Mar-2024 00:03              104532
libcvc5-1-dbgsym_1.1.2-2_ppc64.deb                 20-Mar-2024 00:03           178434068
libcvc5-1_1.1.2-2_ppc64.deb                        20-Mar-2024 00:03             5929436
libcvc5-dev_1.1.2-2_ppc64.deb                      20-Mar-2024 00:03               92952
libcvc5parser1-dbgsym_1.1.2-2_ppc64.deb            20-Mar-2024 00:03             4012896
libcvc5parser1_1.1.2-2_ppc64.deb                   20-Mar-2024 00:03              229876
python3-cvc5-dbgsym_1.1.2-2_ppc64.deb              20-Mar-2024 00:03             2517428
python3-cvc5_1.1.2-2_ppc64.deb                     20-Mar-2024 00:03              294756