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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[TXT] cvc5_1.1.2-3.dsc                 2025-07-27 21:11  2.4K  
[   ] cvc5_1.1.2-3.debian.tar.xz       2025-07-27 21:11  7.2K  
[   ] libcvc5-dev_1.1.2-3_amd64.deb    2025-08-11 22:32   91K  
[   ] libcvc5-dev_1.1.2-3_arm64.deb    2025-08-11 22:44   91K  
[   ] libcvc5-dev_1.1.2-3_armhf.deb    2025-08-11 22:39   91K  
[   ] libcvc5-dev_1.1.2-3_i386.deb     2025-08-11 22:39   91K  
[   ] cvc5_1.1.2-3_arm64.deb           2025-08-11 22:44   95K  
[   ] cvc5_1.1.2-3_armhf.deb           2025-08-11 22:39   98K  
[   ] cvc5_1.1.2-3_amd64.deb           2025-08-11 22:32  105K  
[   ] cvc5_1.1.2-3_i386.deb            2025-08-11 22:39  109K  
[   ] libcvc5parser1_1.1.2-3_arm64.deb 2025-08-11 22:44  203K  
[   ] libcvc5parser1_1.1.2-3_armhf.deb 2025-08-11 22:39  204K  
[   ] libcvc5parser1_1.1.2-3_amd64.deb 2025-08-11 22:32  232K  
[   ] libcvc5parser1_1.1.2-3_i386.deb  2025-08-11 22:39  253K  
[   ] python3-cvc5_1.1.2-3_arm64.deb   2025-08-11 22:44  291K  
[   ] python3-cvc5_1.1.2-3_armhf.deb   2025-08-11 22:39  310K  
[   ] python3-cvc5_1.1.2-3_i386.deb    2025-08-11 22:39  317K  
[   ] python3-cvc5_1.1.2-3_amd64.deb   2025-08-11 22:32  333K  
[   ] libcvc5-1_1.1.2-3_armhf.deb      2025-08-11 22:39  5.4M  
[   ] libcvc5-1_1.1.2-3_arm64.deb      2025-08-11 22:44  5.4M  
[   ] libcvc5-1_1.1.2-3_amd64.deb      2025-08-11 22:32  6.4M  
[   ] libcvc5-1_1.1.2-3_i386.deb       2025-08-11 22:39  6.9M  
[   ] cvc5_1.1.2.orig.tar.gz           2024-03-03 11:53  8.2M