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

../
cvc4-dbgsym_1.8-3+b3_alpha.deb                     08-Apr-2025 00:03             1000820
cvc4_1.8-3+b3_alpha.buildinfo                      08-Apr-2025 00:03                9986
cvc4_1.8-3+b3_alpha.deb                            08-Apr-2025 00:03               78656
libcvc4-7-dbgsym_1.8-3+b3_alpha.deb                08-Apr-2025 00:03           203353876
libcvc4-7_1.8-3+b3_alpha.deb                       08-Apr-2025 00:03             5981152
libcvc4-dev_1.8-3+b3_alpha.deb                     08-Apr-2025 00:03              131440
libcvc4parser7-dbgsym_1.8-3+b3_alpha.deb           08-Apr-2025 00:03             5287996
libcvc4parser7_1.8-3+b3_alpha.deb                  08-Apr-2025 00:03              362440