Index of /pardus/pool/main/c/cvc4/

../
cvc4_1.6-2+b1_amd64.deb                            31-Oct-2025 16:43    133K
cvc4_1.6-2+b1_i386.deb                             31-Oct-2025 16:44    136K
cvc4_1.6-2.debian.tar.xz                           31-Oct-2025 16:48    8232
cvc4_1.6-2.dsc                                     31-Oct-2025 16:48    2652
cvc4_1.6.orig.tar.gz                               31-Oct-2025 16:48      7M
libcvc4-5_1.6-2+b1_amd64.deb                       31-Oct-2025 16:37      4M
libcvc4-5_1.6-2+b1_i386.deb                        31-Oct-2025 16:51      4M
libcvc4-dev_1.6-2+b1_amd64.deb                     31-Oct-2025 16:53      6M
libcvc4-dev_1.6-2+b1_i386.deb                      31-Oct-2025 16:55      7M
libcvc4parser5_1.6-2+b1_amd64.deb                  31-Oct-2025 16:41    354K
libcvc4parser5_1.6-2+b1_i386.deb                   31-Oct-2025 16:40    380K