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

../
cvc4-dbgsym_1.8-5+b1_sparc64.deb                   23-Apr-2026 18:03              972340
cvc4_1.8-5+b1_sparc64.buildinfo                    23-Apr-2026 18:03               10040
cvc4_1.8-5+b1_sparc64.deb                          23-Apr-2026 18:03               71660
libcvc4-7-dbgsym_1.8-5+b1_sparc64.deb              23-Apr-2026 18:03           188581224
libcvc4-7_1.8-5+b1_sparc64.deb                     23-Apr-2026 18:03             5042420
libcvc4-dev_1.8-5+b1_sparc64.deb                   23-Apr-2026 18:03              131016
libcvc4parser7-dbgsym_1.8-5+b1_sparc64.deb         23-Apr-2026 18:03             5116976
libcvc4parser7_1.8-5+b1_sparc64.deb                23-Apr-2026 18:03              295092