Index of /kali/pool/main/c/cvc4/


../
cvc4_1.8-3+b1_amd64.deb                            05-Jan-2024 21:52               82600
cvc4_1.8-3+b1_arm64.deb                            05-Jan-2024 23:07               76412
cvc4_1.8-3+b1_armel.deb                            06-Jan-2024 02:27               75236
cvc4_1.8-3+b1_armhf.deb                            05-Jan-2024 21:40               76356
cvc4_1.8-3+b1_i386.deb                             05-Jan-2024 22:40               84352
cvc4_1.8-3.debian.tar.xz                           29-Oct-2022 19:57               16728
cvc4_1.8-3.dsc                                     29-Oct-2022 19:57                2244
cvc4_1.8.orig.tar.gz                               13-Sep-2020 23:17             7547187
libcvc4-7_1.8-3+b1_amd64.deb                       05-Jan-2024 21:52             5991768
libcvc4-7_1.8-3+b1_arm64.deb                       05-Jan-2024 23:07             5071648
libcvc4-7_1.8-3+b1_armel.deb                       06-Jan-2024 02:27             5287620
libcvc4-7_1.8-3+b1_armhf.deb                       05-Jan-2024 21:40             5344396
libcvc4-7_1.8-3+b1_i386.deb                        05-Jan-2024 22:40             6702628
libcvc4-dev_1.8-3+b1_amd64.deb                     05-Jan-2024 21:52              131432
libcvc4-dev_1.8-3+b1_arm64.deb                     05-Jan-2024 23:07              131420
libcvc4-dev_1.8-3+b1_armel.deb                     06-Jan-2024 02:27              131416
libcvc4-dev_1.8-3+b1_armhf.deb                     05-Jan-2024 21:40              131440
libcvc4-dev_1.8-3+b1_i386.deb                      05-Jan-2024 22:40              131448
libcvc4parser7_1.8-3+b1_amd64.deb                  05-Jan-2024 21:52              365776
libcvc4parser7_1.8-3+b1_arm64.deb                  05-Jan-2024 23:07              321468
libcvc4parser7_1.8-3+b1_armel.deb                  06-Jan-2024 02:27              320348
libcvc4parser7_1.8-3+b1_armhf.deb                  05-Jan-2024 21:40              330140
libcvc4parser7_1.8-3+b1_i386.deb                   05-Jan-2024 22:40              393952