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

../
cvc4-dbgsym_1.8-5+b1_sparc64.deb                   23-Apr-2026 18:03    950K
cvc4_1.8-5+b1_sparc64.buildinfo                    23-Apr-2026 18:03     10K
cvc4_1.8-5+b1_sparc64.deb                          23-Apr-2026 18:03     70K
libcvc4-7-dbgsym_1.8-5+b1_sparc64.deb              23-Apr-2026 18:03    180M
libcvc4-7_1.8-5+b1_sparc64.deb                     23-Apr-2026 18:03      5M
libcvc4-dev_1.8-5+b1_sparc64.deb                   23-Apr-2026 18:03    128K
libcvc4parser7-dbgsym_1.8-5+b1_sparc64.deb         23-Apr-2026 18:03      5M
libcvc4parser7_1.8-5+b1_sparc64.deb                23-Apr-2026 18:03    288K