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

../
cvc4-dbgsym_1.8-5+b1_x32.deb                       24-Apr-2026 18:03              989904
cvc4_1.8-5+b1_x32.buildinfo                        24-Apr-2026 18:03               10132
cvc4_1.8-5+b1_x32.deb                              24-Apr-2026 18:03               80144
libcvc4-7-dbgsym_1.8-5+b1_x32.deb                  24-Apr-2026 18:03           193667480
libcvc4-7_1.8-5+b1_x32.deb                         24-Apr-2026 18:03             6529152
libcvc4-dev_1.8-5+b1_x32.deb                       24-Apr-2026 18:03              130996
libcvc4parser7-dbgsym_1.8-5+b1_x32.deb             24-Apr-2026 18:03             5217232
libcvc4parser7_1.8-5+b1_x32.deb                    24-Apr-2026 18:03              386492