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

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 python3-cvc5_1.1.2-2+b3_i386.deb    2025-01-09 20:05  318K  
 python3-cvc5_1.1.2-2+b3_armhf.deb   2025-01-09 21:32  309K  
 python3-cvc5_1.1.2-2+b3_armel.deb   2025-01-09 21:48  304K  
 python3-cvc5_1.1.2-2+b3_arm64.deb   2025-01-09 20:31  291K  
 python3-cvc5_1.1.2-2+b3_amd64.deb   2025-01-09 20:11  331K  
 libcvc5parser1_1.1.2-2+b3_i386.deb  2025-01-09 20:05  252K  
 libcvc5parser1_1.1.2-2+b3_armhf.deb 2025-01-09 21:32  202K  
 libcvc5parser1_1.1.2-2+b3_armel.deb 2025-01-09 21:48  196K  
 libcvc5parser1_1.1.2-2+b3_arm64.deb 2025-01-09 20:31  203K  
 libcvc5parser1_1.1.2-2+b3_amd64.deb 2025-01-09 20:11  231K  
 libcvc5-dev_1.1.2-2+b3_i386.deb     2025-01-09 20:05   91K  
 libcvc5-dev_1.1.2-2+b3_armhf.deb    2025-01-09 21:32   91K  
 libcvc5-dev_1.1.2-2+b3_armel.deb    2025-01-09 21:48   91K  
 libcvc5-dev_1.1.2-2+b3_arm64.deb    2025-01-09 20:31   91K  
 libcvc5-dev_1.1.2-2+b3_amd64.deb    2025-01-09 20:11   91K  
 libcvc5-1_1.1.2-2+b3_i386.deb       2025-01-09 20:05  6.9M  
 libcvc5-1_1.1.2-2+b3_armhf.deb      2025-01-09 21:32  5.4M  
 libcvc5-1_1.1.2-2+b3_armel.deb      2025-01-09 21:48  5.5M  
 libcvc5-1_1.1.2-2+b3_arm64.deb      2025-01-09 20:31  5.4M  
 libcvc5-1_1.1.2-2+b3_amd64.deb      2025-01-09 20:11  6.4M  
 cvc5_1.1.2.orig.tar.gz              2024-03-03 11:53  8.2M  
 cvc5_1.1.2-2.dsc                    2024-03-20 07:22  2.4K  
 cvc5_1.1.2-2.debian.tar.xz          2024-03-20 07:22  7.2K  
 cvc5_1.1.2-2+b3_i386.deb            2025-01-09 20:05  109K  
 cvc5_1.1.2-2+b3_armhf.deb           2025-01-09 21:32   99K  
 cvc5_1.1.2-2+b3_armel.deb           2025-01-09 21:48   96K  
 cvc5_1.1.2-2+b3_arm64.deb           2025-01-09 20:31   95K  
 cvc5_1.1.2-2+b3_amd64.deb           2025-01-09 20:11  107K