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

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 cvc4_1.8-3+b3_amd64.deb           2024-03-24 12:12   80K  
 cvc4_1.8-3+b3_arm64.deb           2024-03-24 14:33   75K  
 cvc4_1.8-3+b3_armel.deb           2024-03-28 23:13   74K  
 cvc4_1.8-3+b3_armhf.deb           2024-03-28 15:54   75K  
 cvc4_1.8-3+b3_i386.deb            2024-03-24 12:18   82K  
 cvc4_1.8-3.debian.tar.xz          2022-10-29 21:57   16K  
 cvc4_1.8-3.dsc                    2022-10-29 21:57  2.2K  
 cvc4_1.8.orig.tar.gz              2020-09-14 01:17  7.2M  
 libcvc4-7_1.8-3+b3_amd64.deb      2024-03-24 12:12  5.7M  
 libcvc4-7_1.8-3+b3_arm64.deb      2024-03-24 14:33  4.8M  
 libcvc4-7_1.8-3+b3_armel.deb      2024-03-28 23:13  5.0M  
 libcvc4-7_1.8-3+b3_armhf.deb      2024-03-28 15:54  5.1M  
 libcvc4-7_1.8-3+b3_i386.deb       2024-03-24 12:18  6.4M  
 libcvc4-dev_1.8-3+b3_amd64.deb    2024-03-24 12:12  128K  
 libcvc4-dev_1.8-3+b3_arm64.deb    2024-03-24 14:33  128K  
 libcvc4-dev_1.8-3+b3_armel.deb    2024-03-28 23:13  128K  
 libcvc4-dev_1.8-3+b3_armhf.deb    2024-03-28 15:54  128K  
 libcvc4-dev_1.8-3+b3_i386.deb     2024-03-24 12:18  128K  
 libcvc4parser7_1.8-3+b3_amd64.deb 2024-03-24 12:12  357K  
 libcvc4parser7_1.8-3+b3_arm64.deb 2024-03-24 14:33  314K  
 libcvc4parser7_1.8-3+b3_armel.deb 2024-03-28 23:13  313K  
 libcvc4parser7_1.8-3+b3_armhf.deb 2024-03-28 15:54  322K  
 libcvc4parser7_1.8-3+b3_i386.deb  2024-03-24 12:18  385K