Index of /kali/pool/main/c/cvc5

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 cvc5_1.3.2-1.debian.tar.xz       2025-12-24 03:13  8.3K  
 cvc5_1.3.2-1.dsc                 2025-12-24 03:13  2.4K  
 cvc5_1.3.2-1_amd64.deb           2025-12-24 03:49  140K  
 cvc5_1.3.2-1_arm64.deb           2025-12-24 03:54  126K  
 cvc5_1.3.2-1_armhf.deb           2025-12-24 03:54  129K  
 cvc5_1.3.2-1_i386.deb            2025-12-24 03:49  142K  
 cvc5_1.3.2.orig.tar.gz           2025-12-24 03:13  8.8M  
 libcvc5-1_1.3.2-1_amd64.deb      2025-12-24 03:49  7.4M  
 libcvc5-1_1.3.2-1_arm64.deb      2025-12-24 03:54  6.3M  
 libcvc5-1_1.3.2-1_armhf.deb      2025-12-24 03:54  6.2M  
 libcvc5-1_1.3.2-1_i386.deb       2025-12-24 03:49  8.0M  
 libcvc5-dev_1.3.2-1_amd64.deb    2025-12-24 03:49  121K  
 libcvc5-dev_1.3.2-1_arm64.deb    2025-12-24 03:54  121K  
 libcvc5-dev_1.3.2-1_armhf.deb    2025-12-24 03:54  121K  
 libcvc5-dev_1.3.2-1_i386.deb     2025-12-24 03:49  121K  
 libcvc5parser1_1.3.2-1_amd64.deb 2025-12-24 03:49  267K  
 libcvc5parser1_1.3.2-1_arm64.deb 2025-12-24 03:54  232K  
 libcvc5parser1_1.3.2-1_armhf.deb 2025-12-24 03:54  234K  
 libcvc5parser1_1.3.2-1_i386.deb  2025-12-24 03:49  287K  
 python3-cvc5_1.3.2-1_amd64.deb   2025-12-24 03:49  376K  
 python3-cvc5_1.3.2-1_arm64.deb   2025-12-24 03:54  315K  
 python3-cvc5_1.3.2-1_armhf.deb   2025-12-24 03:54  344K  
 python3-cvc5_1.3.2-1_i386.deb    2025-12-24 03:49  365K