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

../
cvc4_1.8-3.debian.tar.xz                           31-Jul-2024 12:10               16728
cvc4_1.8-3.dsc                                     31-Jul-2024 12:10                2244
cvc4_1.8-3_amd64.deb                               31-Jul-2024 12:10               80688
cvc4_1.8-3_arm64.deb                               31-Jul-2024 12:24               75564
cvc4_1.8-3_i386.deb                                31-Jul-2024 12:21               82652
cvc4_1.8.orig.tar.gz                               31-Jul-2024 12:10             7547187
libcvc4-7_1.8-3_amd64.deb                          31-Jul-2024 12:28             5936792
libcvc4-7_1.8-3_arm64.deb                          31-Jul-2024 12:27             4997468
libcvc4-7_1.8-3_i386.deb                           31-Jul-2024 12:24             6700704
libcvc4-dev_1.8-3_amd64.deb                        31-Jul-2024 12:25              131112
libcvc4-dev_1.8-3_arm64.deb                        31-Jul-2024 12:22              131120
libcvc4-dev_1.8-3_i386.deb                         31-Jul-2024 12:23              131112
libcvc4parser7_1.8-3_amd64.deb                     31-Jul-2024 12:25              362304
libcvc4parser7_1.8-3_arm64.deb                     31-Jul-2024 12:25              322668
libcvc4parser7_1.8-3_i386.deb                      31-Jul-2024 12:05              387704