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


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