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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libcvc4parser7_1.8-3+b3_armel.deb                  2024-03-29 05:13  313K  
 libcvc4-dev_1.8-3+b3_armel.deb                     2024-03-29 05:13  128K  
 libcvc4-7_1.8-3+b3_armel.deb                       2024-03-29 05:13  5.0M  
 cvc4_1.8-3+b3_armel.deb                            2024-03-29 05:13   74K  
 libcvc4parser7_1.8-3+b3_armhf.deb                  2024-03-28 21:54  322K  
 libcvc4-dev_1.8-3+b3_armhf.deb                     2024-03-28 21:54  128K  
 libcvc4-7_1.8-3+b3_armhf.deb                       2024-03-28 21:54  5.1M  
 cvc4_1.8-3+b3_armhf.deb                            2024-03-28 21:54   75K  
 libcvc4parser7_1.8-3+b3_arm64.deb                  2024-03-24 20:33  314K  
 libcvc4-dev_1.8-3+b3_arm64.deb                     2024-03-24 20:33  128K  
 libcvc4-7_1.8-3+b3_arm64.deb                       2024-03-24 20:33  4.8M  
 cvc4_1.8-3+b3_arm64.deb                            2024-03-24 20:33   75K  
 libcvc4parser7_1.8-3+b3_i386.deb                   2024-03-24 18:18  385K  
 libcvc4-dev_1.8-3+b3_i386.deb                      2024-03-24 18:18  128K  
 libcvc4-7_1.8-3+b3_i386.deb                        2024-03-24 18:18  6.4M  
 cvc4_1.8-3+b3_i386.deb                             2024-03-24 18:18   82K  
 libcvc4parser7_1.8-3+b3_amd64.deb                  2024-03-24 18:12  357K  
 libcvc4-dev_1.8-3+b3_amd64.deb                     2024-03-24 18:12  128K  
 libcvc4-7_1.8-3+b3_amd64.deb                       2024-03-24 18:12  5.7M  
 cvc4_1.8-3+b3_amd64.deb                            2024-03-24 18:12   80K  
 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