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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] cvc5_1.1.2-3.debian.tar.xz       2025-07-27 14:11  7.2K  
[TXT] cvc5_1.1.2-3.dsc                 2025-07-27 14:11  2.4K  
[   ] cvc5_1.1.2-3_amd64.deb           2025-08-11 15:32  105K  
[   ] cvc5_1.1.2-3_arm64.deb           2025-08-11 15:44   95K  
[   ] cvc5_1.1.2-3_armhf.deb           2025-08-11 15:39   98K  
[   ] cvc5_1.1.2-3_i386.deb            2025-08-11 15:39  109K  
[   ] cvc5_1.1.2.orig.tar.gz           2024-03-03 04:53  8.2M  
[   ] cvc5_1.3.2-1.debian.tar.xz       2025-12-24 03:13  8.3K  
[TXT] 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.1.2-3_amd64.deb      2025-08-11 15:32  6.4M  
[   ] libcvc5-1_1.1.2-3_arm64.deb      2025-08-11 15:44  5.4M  
[   ] libcvc5-1_1.1.2-3_armhf.deb      2025-08-11 15:39  5.4M  
[   ] libcvc5-1_1.1.2-3_i386.deb       2025-08-11 15:39  6.9M  
[   ] 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.1.2-3_amd64.deb    2025-08-11 15:32   91K  
[   ] libcvc5-dev_1.1.2-3_arm64.deb    2025-08-11 15:44   91K  
[   ] libcvc5-dev_1.1.2-3_armhf.deb    2025-08-11 15:39   91K  
[   ] libcvc5-dev_1.1.2-3_i386.deb     2025-08-11 15:39   91K  
[   ] 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.1.2-3_amd64.deb 2025-08-11 15:32  232K  
[   ] libcvc5parser1_1.1.2-3_arm64.deb 2025-08-11 15:44  203K  
[   ] libcvc5parser1_1.1.2-3_armhf.deb 2025-08-11 15:39  204K  
[   ] libcvc5parser1_1.1.2-3_i386.deb  2025-08-11 15:39  253K  
[   ] 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.1.2-3_amd64.deb   2025-08-11 15:32  333K  
[   ] python3-cvc5_1.1.2-3_arm64.deb   2025-08-11 15:44  291K  
[   ] python3-cvc5_1.1.2-3_armhf.deb   2025-08-11 15:39  310K  
[   ] python3-cvc5_1.1.2-3_i386.deb    2025-08-11 15:39  317K  
[   ] 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