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

../
cvc4-dbgsym_1.8-4_x32.deb                          12-Aug-2025 09:03    984K
cvc4_1.8-4_x32.buildinfo                           12-Aug-2025 09:03    9739
cvc4_1.8-4_x32.deb                                 12-Aug-2025 09:03     80K
libcvc4-7-dbgsym_1.8-4_x32.deb                     12-Aug-2025 09:03    197M
libcvc4-7_1.8-4_x32.deb                            12-Aug-2025 09:03      6M
libcvc4-dev_1.8-4_x32.deb                          12-Aug-2025 09:03    128K
libcvc4parser7-dbgsym_1.8-4_x32.deb                12-Aug-2025 09:03      5M
libcvc4parser7_1.8-4_x32.deb                       12-Aug-2025 09:03    380K