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


../
cvc4_1.8-3+b4_amd64.deb                            07-Apr-2025 16:25               82828
cvc4_1.8-3+b4_arm64.deb                            08-Apr-2025 01:42               76652
cvc4_1.8-3+b4_armel.deb                            08-Apr-2025 01:21               75524
cvc4_1.8-3+b4_armhf.deb                            07-Apr-2025 17:16               77204
cvc4_1.8-3+b4_i386.deb                             07-Apr-2025 16:36               85028
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-4.debian.tar.xz                           27-Jul-2025 14:17               17264
cvc4_1.8-4.dsc                                     27-Jul-2025 14:17                2231
cvc4_1.8-4_amd64.deb                               11-Aug-2025 16:09               82424
cvc4_1.8-4_arm64.deb                               11-Aug-2025 16:19               75848
cvc4_1.8-4_armel.deb                               11-Aug-2025 16:35               75312
cvc4_1.8-4_armhf.deb                               11-Aug-2025 16:09               76344
cvc4_1.8-4_i386.deb                                11-Aug-2025 16:04               84528
cvc4_1.8.orig.tar.gz                               13-Sep-2020 23:17             7547187
libcvc4-7_1.8-3+b4_amd64.deb                       07-Apr-2025 16:25             6616160
libcvc4-7_1.8-3+b4_arm64.deb                       08-Apr-2025 01:42             5656244
libcvc4-7_1.8-3+b4_armel.deb                       08-Apr-2025 01:21             5524316
libcvc4-7_1.8-3+b4_armhf.deb                       07-Apr-2025 17:16             5580168
libcvc4-7_1.8-3+b4_i386.deb                        07-Apr-2025 16:36             7176192
libcvc4-7_1.8-4_amd64.deb                          11-Aug-2025 16:09             6547176
libcvc4-7_1.8-4_arm64.deb                          11-Aug-2025 16:19             5590484
libcvc4-7_1.8-4_armel.deb                          11-Aug-2025 16:35             5447708
libcvc4-7_1.8-4_armhf.deb                          11-Aug-2025 16:09             5517648
libcvc4-7_1.8-4_i386.deb                           11-Aug-2025 16:04             7133888
libcvc4-dev_1.8-3+b4_amd64.deb                     07-Apr-2025 16:25              131428
libcvc4-dev_1.8-3+b4_arm64.deb                     08-Apr-2025 01:42              131416
libcvc4-dev_1.8-3+b4_armel.deb                     08-Apr-2025 01:21              131420
libcvc4-dev_1.8-3+b4_armhf.deb                     07-Apr-2025 17:16              131396
libcvc4-dev_1.8-3+b4_i386.deb                      07-Apr-2025 16:36              131408
libcvc4-dev_1.8-4_amd64.deb                        11-Aug-2025 16:09              131156
libcvc4-dev_1.8-4_arm64.deb                        11-Aug-2025 16:19              131156
libcvc4-dev_1.8-4_armel.deb                        11-Aug-2025 16:35              131160
libcvc4-dev_1.8-4_armhf.deb                        11-Aug-2025 16:09              131160
libcvc4-dev_1.8-4_i386.deb                         11-Aug-2025 16:04              131160
libcvc4parser7_1.8-3+b4_amd64.deb                  07-Apr-2025 16:25              382200
libcvc4parser7_1.8-3+b4_arm64.deb                  08-Apr-2025 01:42              333588
libcvc4parser7_1.8-3+b4_armel.deb                  08-Apr-2025 01:21              334908
libcvc4parser7_1.8-3+b4_armhf.deb                  07-Apr-2025 17:16              346668
libcvc4parser7_1.8-3+b4_i386.deb                   07-Apr-2025 16:36              411984
libcvc4parser7_1.8-4_amd64.deb                     11-Aug-2025 16:09              381836
libcvc4parser7_1.8-4_arm64.deb                     11-Aug-2025 16:19              333744
libcvc4parser7_1.8-4_armel.deb                     11-Aug-2025 16:35              332504
libcvc4parser7_1.8-4_armhf.deb                     11-Aug-2025 16:09              344112
libcvc4parser7_1.8-4_i386.deb                      11-Aug-2025 16:04              411588