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

../
cvc5-dbgsym_1.3.2-1+b2_sparc64.deb                 29-Jun-2026 00:03             2091356
cvc5_1.3.2-1+b2_sparc64.buildinfo                  29-Jun-2026 00:03               11457
cvc5_1.3.2-1+b2_sparc64.deb                        29-Jun-2026 00:03              121816
libcvc5-1-dbgsym_1.3.2-1+b2_sparc64.deb            29-Jun-2026 00:03           201291112
libcvc5-1_1.3.2-1+b2_sparc64.deb                   29-Jun-2026 00:03             6263880
libcvc5-dev_1.3.2-1+b2_sparc64.deb                 29-Jun-2026 00:03              124276
libcvc5parser1-dbgsym_1.3.2-1+b2_sparc64.deb       29-Jun-2026 00:03             4447764
libcvc5parser1_1.3.2-1+b2_sparc64.deb              29-Jun-2026 00:03              206212
python3-cvc5-dbgsym_1.3.2-1+b2_sparc64.deb         29-Jun-2026 00:03             1299480
python3-cvc5_1.3.2-1+b2_sparc64.deb                29-Jun-2026 00:03              297976