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

../
cvc4-dbgsym_1.8-3+b2_x32.deb                       28-Mar-2024 06:03              993200
cvc4_1.8-3+b2_x32.buildinfo                        28-Mar-2024 06:03               10349
cvc4_1.8-3+b2_x32.deb                              28-Mar-2024 06:03               82484
libcvc4-7-dbgsym_1.8-3+b2_x32.deb                  28-Mar-2024 06:03           194858704
libcvc4-7_1.8-3+b2_x32.deb                         28-Mar-2024 06:03             6158780
libcvc4-dev_1.8-3+b2_x32.deb                       28-Mar-2024 06:03              131396
libcvc4parser7-dbgsym_1.8-3+b2_x32.deb             28-Mar-2024 06:03             5103484
libcvc4parser7_1.8-3+b2_x32.deb                    28-Mar-2024 06:03              368576