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


../
cvc4_1.5-1+b1_amd64.deb                            27-Jun-2018 06:01              136972
cvc4_1.5-1+b1_i386.deb                             27-Jun-2018 06:02              140288
cvc4_1.6-2+b1_amd64.deb                            18-Nov-2018 06:00              136244
cvc4_1.6-2+b1_i386.deb                             18-Nov-2018 00:00              139464
cvc4_1.6-2+b2_amd64.deb                            14-Jul-2019 18:27              138024
cvc4_1.6-2+b2_i386.deb                             14-Jul-2019 18:16              142816
cvc4_1.6-2+b3_amd64.deb                            02-Jun-2020 16:41              141248
cvc4_1.6-2+b3_i386.deb                             02-Jun-2020 19:02              142888
cvc4_1.8-2.debian.tar.xz                           18-Sep-2020 01:25               16456
cvc4_1.8-2.dsc                                     18-Sep-2020 01:25                2275
cvc4_1.8-2_amd64.deb                               18-Sep-2020 02:11               81488
cvc4_1.8-2_arm64.deb                               18-Sep-2020 02:27               76064
cvc4_1.8-2_armel.deb                               18-Sep-2020 04:29               74320
cvc4_1.8-2_armhf.deb                               18-Sep-2020 02:32               75652
cvc4_1.8-2_i386.deb                                18-Sep-2020 02:42               82548
cvc4_1.8.orig.tar.gz                               13-Sep-2020 23:17             7547187
libcvc4-4_1.5-1+b1_amd64.deb                       27-Jun-2018 06:01             3393908
libcvc4-4_1.5-1+b1_i386.deb                        27-Jun-2018 06:02             3639336
libcvc4-5_1.6-2+b1_amd64.deb                       18-Nov-2018 06:00             4056556
libcvc4-5_1.6-2+b1_i386.deb                        18-Nov-2018 00:00             4507864
libcvc4-5_1.6-2+b2_amd64.deb                       14-Jul-2019 18:27             4165912
libcvc4-5_1.6-2+b2_i386.deb                        14-Jul-2019 18:16             4643164
libcvc4-5_1.6-2+b3_amd64.deb                       02-Jun-2020 16:41             4510656
libcvc4-5_1.6-2+b3_i386.deb                        02-Jun-2020 19:02             4845424
libcvc4-7_1.8-2_amd64.deb                          18-Sep-2020 02:11             5651716
libcvc4-7_1.8-2_arm64.deb                          18-Sep-2020 02:27             4783836
libcvc4-7_1.8-2_armel.deb                          18-Sep-2020 04:29             4871636
libcvc4-7_1.8-2_armhf.deb                          18-Sep-2020 02:32             4989728
libcvc4-7_1.8-2_i386.deb                           18-Sep-2020 02:42             6152812
libcvc4-dev_1.5-1+b1_amd64.deb                     27-Jun-2018 06:01             5992448
libcvc4-dev_1.5-1+b1_i386.deb                      27-Jun-2018 06:02             6406804
libcvc4-dev_1.6-2+b1_amd64.deb                     18-Nov-2018 06:00             6718020
libcvc4-dev_1.6-2+b1_i386.deb                      18-Nov-2018 00:00             7208884
libcvc4-dev_1.6-2+b2_amd64.deb                     14-Jul-2019 18:27             6820408
libcvc4-dev_1.6-2+b2_i386.deb                      14-Jul-2019 18:16             7345252
libcvc4-dev_1.6-2+b3_amd64.deb                     02-Jun-2020 16:41             7274380
libcvc4-dev_1.6-2+b3_i386.deb                      02-Jun-2020 19:02             7667052
libcvc4-dev_1.8-2_amd64.deb                        18-Sep-2020 02:11              131264
libcvc4-dev_1.8-2_arm64.deb                        18-Sep-2020 02:27              131268
libcvc4-dev_1.8-2_armel.deb                        18-Sep-2020 04:29              131248
libcvc4-dev_1.8-2_armhf.deb                        18-Sep-2020 02:32              131256
libcvc4-dev_1.8-2_i386.deb                         18-Sep-2020 02:42              131252
libcvc4parser4_1.5-1+b1_amd64.deb                  27-Jun-2018 06:01              364744
libcvc4parser4_1.5-1+b1_i386.deb                   27-Jun-2018 06:02              390236
libcvc4parser5_1.6-2+b1_amd64.deb                  18-Nov-2018 06:00              362516
libcvc4parser5_1.6-2+b1_i386.deb                   18-Nov-2018 00:00              389524
libcvc4parser5_1.6-2+b2_amd64.deb                  14-Jul-2019 18:27              362508
libcvc4parser5_1.6-2+b2_i386.deb                   14-Jul-2019 18:16              390716
libcvc4parser5_1.6-2+b3_amd64.deb                  02-Jun-2020 16:41              368620
libcvc4parser5_1.6-2+b3_i386.deb                   02-Jun-2020 19:02              389872
libcvc4parser7_1.8-2_amd64.deb                     18-Sep-2020 02:11              366212
libcvc4parser7_1.8-2_arm64.deb                     18-Sep-2020 02:27              328200
libcvc4parser7_1.8-2_armel.deb                     18-Sep-2020 04:29              323824
libcvc4parser7_1.8-2_armhf.deb                     18-Sep-2020 02:32              328140
libcvc4parser7_1.8-2_i386.deb                      18-Sep-2020 02:42              382484