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

../
cvc5-dbgsym_1.3.2-1_ppc64.deb                      24-Dec-2025 06:03             2154632
cvc5_1.3.2-1_ppc64.buildinfo                       24-Dec-2025 06:03               11440
cvc5_1.3.2-1_ppc64.deb                             24-Dec-2025 06:03              135408
libcvc5-1-dbgsym_1.3.2-1_ppc64.deb                 24-Dec-2025 06:03           204770984
libcvc5-1_1.3.2-1_ppc64.deb                        24-Dec-2025 06:03             7058872
libcvc5-dev_1.3.2-1_ppc64.deb                      24-Dec-2025 06:03              124016
libcvc5parser1-dbgsym_1.3.2-1_ppc64.deb            24-Dec-2025 06:03             4599312
libcvc5parser1_1.3.2-1_ppc64.deb                   24-Dec-2025 06:03              265620
python3-cvc5-dbgsym_1.3.2-1_ppc64.deb              24-Dec-2025 06:03             1318412
python3-cvc5_1.3.2-1_ppc64.deb                     24-Dec-2025 06:03              336132