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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libcvc4parser7_1.8-4_armel.deb                     2025-08-12 00:35  325K  
 libcvc4-dev_1.8-4_armel.deb                        2025-08-12 00:35  128K  
 libcvc4-7_1.8-4_armel.deb                          2025-08-12 00:35  5.2M  
 cvc4_1.8-4_armel.deb                               2025-08-12 00:35   74K  
 libcvc4parser7_1.8-4_arm64.deb                     2025-08-12 00:19  326K  
 libcvc4-dev_1.8-4_arm64.deb                        2025-08-12 00:19  128K  
 libcvc4-7_1.8-4_arm64.deb                          2025-08-12 00:19  5.3M  
 cvc4_1.8-4_arm64.deb                               2025-08-12 00:19   74K  
 libcvc4parser7_1.8-4_amd64.deb                     2025-08-12 00:09  373K  
 libcvc4-dev_1.8-4_amd64.deb                        2025-08-12 00:09  128K  
 libcvc4-7_1.8-4_amd64.deb                          2025-08-12 00:09  6.2M  
 cvc4_1.8-4_amd64.deb                               2025-08-12 00:09   80K  
 libcvc4parser7_1.8-4_armhf.deb                     2025-08-12 00:09  336K  
 libcvc4-dev_1.8-4_armhf.deb                        2025-08-12 00:09  128K  
 libcvc4-7_1.8-4_armhf.deb                          2025-08-12 00:09  5.3M  
 cvc4_1.8-4_armhf.deb                               2025-08-12 00:09   75K  
 libcvc4parser7_1.8-4_i386.deb                      2025-08-12 00:04  402K  
 libcvc4-dev_1.8-4_i386.deb                         2025-08-12 00:04  128K  
 libcvc4-7_1.8-4_i386.deb                           2025-08-12 00:04  6.8M  
 cvc4_1.8-4_i386.deb                                2025-08-12 00:04   83K  
 cvc4_1.8-4.dsc                                     2025-07-27 22:17  2.2K  
 cvc4_1.8-4.debian.tar.xz                           2025-07-27 22:17   17K  
 libcvc4parser7_1.8-3+b4_arm64.deb                  2025-04-08 09:42  326K  
 libcvc4-dev_1.8-3+b4_arm64.deb                     2025-04-08 09:42  128K  
 libcvc4-7_1.8-3+b4_arm64.deb                       2025-04-08 09:42  5.4M  
 cvc4_1.8-3+b4_arm64.deb                            2025-04-08 09:42   75K  
 libcvc4parser7_1.8-3+b4_armel.deb                  2025-04-08 09:21  327K  
 libcvc4-dev_1.8-3+b4_armel.deb                     2025-04-08 09:21  128K  
 libcvc4-7_1.8-3+b4_armel.deb                       2025-04-08 09:21  5.3M  
 cvc4_1.8-3+b4_armel.deb                            2025-04-08 09:21   74K  
 libcvc4parser7_1.8-3+b4_armhf.deb                  2025-04-08 01:16  339K  
 libcvc4-dev_1.8-3+b4_armhf.deb                     2025-04-08 01:16  128K  
 libcvc4-7_1.8-3+b4_armhf.deb                       2025-04-08 01:16  5.3M  
 cvc4_1.8-3+b4_armhf.deb                            2025-04-08 01:16   75K  
 libcvc4parser7_1.8-3+b4_i386.deb                   2025-04-08 00:36  402K  
 libcvc4-dev_1.8-3+b4_i386.deb                      2025-04-08 00:36  128K  
 libcvc4-7_1.8-3+b4_i386.deb                        2025-04-08 00:36  6.8M  
 cvc4_1.8-3+b4_i386.deb                             2025-04-08 00:36   83K  
 libcvc4parser7_1.8-3+b4_amd64.deb                  2025-04-08 00:25  373K  
 libcvc4-dev_1.8-3+b4_amd64.deb                     2025-04-08 00:25  128K  
 libcvc4-7_1.8-3+b4_amd64.deb                       2025-04-08 00:25  6.3M  
 cvc4_1.8-3+b4_amd64.deb                            2025-04-08 00:25   81K  
 cvc4_1.8-3.dsc                                     2022-10-30 03:57  2.2K  
 cvc4_1.8-3.debian.tar.xz                           2022-10-30 03:57   16K  
 cvc4_1.8.orig.tar.gz                               2020-09-14 07:17  7.2M