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

../
cvc4-dbgsym_1.8-3+b3_x32.deb                       11-May-2025 12:03             1001372
cvc4_1.8-3+b3_x32.buildinfo                        11-May-2025 12:03               10077
cvc4_1.8-3+b3_x32.deb                              11-May-2025 12:03               82880
libcvc4-7-dbgsym_1.8-3+b3_x32.deb                  11-May-2025 12:03           205554920
libcvc4-7_1.8-3+b3_x32.deb                         11-May-2025 12:03             6819564
libcvc4-dev_1.8-3+b3_x32.deb                       11-May-2025 12:03              131412
libcvc4parser7-dbgsym_1.8-3+b3_x32.deb             11-May-2025 12:03             5261940
libcvc4parser7_1.8-3+b3_x32.deb                    11-May-2025 12:03              389328