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

../
cvc5-dbgsym_1.1.2-2+b2_sparc64.deb                 30-Oct-2024 18:03             1837560
cvc5_1.1.2-2+b2_sparc64.buildinfo                  30-Oct-2024 18:03               11566
cvc5_1.1.2-2+b2_sparc64.deb                        30-Oct-2024 18:03               91388
libcvc5-1-dbgsym_1.1.2-2+b2_sparc64.deb            30-Oct-2024 18:03           177127128
libcvc5-1_1.1.2-2+b2_sparc64.deb                   30-Oct-2024 18:03             5436128
libcvc5-dev_1.1.2-2+b2_sparc64.deb                 30-Oct-2024 18:03               93252
libcvc5parser1-dbgsym_1.1.2-2+b2_sparc64.deb       30-Oct-2024 18:03             3919560
libcvc5parser1_1.1.2-2+b2_sparc64.deb              30-Oct-2024 18:03              183792
python3-cvc5-dbgsym_1.1.2-2+b2_sparc64.deb         30-Oct-2024 18:03             2542140
python3-cvc5_1.1.2-2+b2_sparc64.deb                30-Oct-2024 18:03              296016