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

../
cvc4_1.6-2+b1_amd64.deb                            02-Jul-2026 11:12    133K
cvc4_1.6-2+b1_i386.deb                             02-Jul-2026 12:02    136K
cvc4_1.6-2.debian.tar.xz                           02-Jul-2026 12:17    8232
cvc4_1.6-2.dsc                                     02-Jul-2026 12:17    2652
cvc4_1.6.orig.tar.gz                               02-Jul-2026 12:17      7M
libcvc4-5_1.6-2+b1_amd64.deb                       02-Jul-2026 11:51      4M
libcvc4-5_1.6-2+b1_i386.deb                        02-Jul-2026 12:21      4M
libcvc4-dev_1.6-2+b1_amd64.deb                     02-Jul-2026 11:15      6M
libcvc4-dev_1.6-2+b1_i386.deb                      02-Jul-2026 12:28      7M
libcvc4parser5_1.6-2+b1_amd64.deb                  02-Jul-2026 12:27    354K
libcvc4parser5_1.6-2+b1_i386.deb                   02-Jul-2026 11:43    380K