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

../
cvc5-dbgsym_1.3.2-1_sparc64.deb                    24-Dec-2025 06:03             2111892
cvc5_1.3.2-1_sparc64.buildinfo                     24-Dec-2025 06:03               11382
cvc5_1.3.2-1_sparc64.deb                           24-Dec-2025 06:03              121384
libcvc5-1-dbgsym_1.3.2-1_sparc64.deb               24-Dec-2025 06:03           201313076
libcvc5-1_1.3.2-1_sparc64.deb                      24-Dec-2025 06:03             6249944
libcvc5-dev_1.3.2-1_sparc64.deb                    24-Dec-2025 06:03              124020
libcvc5parser1-dbgsym_1.3.2-1_sparc64.deb          24-Dec-2025 06:03             4446584
libcvc5parser1_1.3.2-1_sparc64.deb                 24-Dec-2025 06:03              206492
python3-cvc5-dbgsym_1.3.2-1_sparc64.deb            24-Dec-2025 06:03             1291248
python3-cvc5_1.3.2-1_sparc64.deb                   24-Dec-2025 06:03              293528