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

Icon  Name                           Last modified      Size  Description
[PARENTDIR] Parent Directory                                    -   
[   ] cvc4_1.8.orig.tar.gz           2020-09-14 08:17  7.2M  
[   ] cvc4_1.8-4.debian.tar.xz       2025-07-27 23:17   17K  
[TXT] cvc4_1.8-4.dsc                 2025-07-27 23:17  2.2K  
[   ] cvc4_1.8-4_i386.deb            2025-08-12 01:04   83K  
[   ] libcvc4-7_1.8-4_i386.deb       2025-08-12 01:04  6.8M  
[   ] libcvc4-dev_1.8-4_i386.deb     2025-08-12 01:04  128K  
[   ] libcvc4parser7_1.8-4_i386.deb  2025-08-12 01:04  402K  
[   ] cvc4_1.8-4_armhf.deb           2025-08-12 01:09   75K  
[   ] libcvc4-7_1.8-4_armhf.deb      2025-08-12 01:09  5.3M  
[   ] libcvc4-dev_1.8-4_armhf.deb    2025-08-12 01:09  128K  
[   ] libcvc4parser7_1.8-4_armhf.deb 2025-08-12 01:09  336K  
[   ] cvc4_1.8-4_amd64.deb           2025-08-12 01:09   80K  
[   ] libcvc4-7_1.8-4_amd64.deb      2025-08-12 01:09  6.2M  
[   ] libcvc4-dev_1.8-4_amd64.deb    2025-08-12 01:09  128K  
[   ] libcvc4parser7_1.8-4_amd64.deb 2025-08-12 01:09  373K  
[   ] cvc4_1.8-4_arm64.deb           2025-08-12 01:19   74K  
[   ] libcvc4-7_1.8-4_arm64.deb      2025-08-12 01:19  5.3M  
[   ] libcvc4-dev_1.8-4_arm64.deb    2025-08-12 01:19  128K  
[   ] libcvc4parser7_1.8-4_arm64.deb 2025-08-12 01:19  326K