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

../
cvc4-dbgsym_1.8-3+b3_x32.deb                       11-May-2025 12:03    978K
cvc4_1.8-3+b3_x32.buildinfo                        11-May-2025 12:03     10K
cvc4_1.8-3+b3_x32.deb                              11-May-2025 12:03     81K
libcvc4-7-dbgsym_1.8-3+b3_x32.deb                  11-May-2025 12:03    196M
libcvc4-7_1.8-3+b3_x32.deb                         11-May-2025 12:03      7M
libcvc4-dev_1.8-3+b3_x32.deb                       11-May-2025 12:03    128K
libcvc4parser7-dbgsym_1.8-3+b3_x32.deb             11-May-2025 12:03      5M
libcvc4parser7_1.8-3+b3_x32.deb                    11-May-2025 12:03    380K