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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 cvc5_1.1.2.orig.tar.gz                             2024-03-03 10:53  8.2M  
 libcvc5-1_1.1.2-2_i386.deb                         2024-03-20 07:08  6.7M  
 libcvc5-1_1.1.2-2+b1_i386.deb                      2024-06-26 17:01  6.7M  
 libcvc5-1_1.1.2-2_amd64.deb                        2024-03-20 09:42  6.1M  
 libcvc5-1_1.1.2-2+b1_amd64.deb                     2024-06-26 17:01  6.1M  
 libcvc5-1_1.1.2-2+b1_armel.deb                     2024-06-26 17:01  5.3M  
 libcvc5-1_1.1.2-2_armel.deb                        2024-03-20 07:13  5.3M  
 libcvc5-1_1.1.2-2_armhf.deb                        2024-03-20 07:29  5.2M  
 libcvc5-1_1.1.2-2+b1_armhf.deb                     2024-06-26 17:07  5.2M  
 libcvc5-1_1.1.2-2+b1_arm64.deb                     2024-06-26 17:37  5.2M  
 libcvc5-1_1.1.2-2_arm64.deb                        2024-03-20 10:29  5.2M  
 python3-cvc5_1.1.2-2+b1_amd64.deb                  2024-06-26 17:01  328K  
 python3-cvc5_1.1.2-2_amd64.deb                     2024-03-20 09:42  321K  
 python3-cvc5_1.1.2-2+b1_i386.deb                   2024-06-26 17:01  310K  
 python3-cvc5_1.1.2-2_i386.deb                      2024-03-20 07:08  308K  
 python3-cvc5_1.1.2-2+b1_armhf.deb                  2024-06-26 17:07  304K  
 python3-cvc5_1.1.2-2_armhf.deb                     2024-03-20 07:29  300K  
 python3-cvc5_1.1.2-2+b1_armel.deb                  2024-06-26 17:01  299K  
 python3-cvc5_1.1.2-2_armel.deb                     2024-03-20 07:13  295K  
 python3-cvc5_1.1.2-2_arm64.deb                     2024-03-20 10:29  291K  
 python3-cvc5_1.1.2-2+b1_arm64.deb                  2024-06-26 17:37  289K  
 libcvc5parser1_1.1.2-2+b1_i386.deb                 2024-06-26 17:01  248K  
 libcvc5parser1_1.1.2-2_i386.deb                    2024-03-20 07:08  248K  
 libcvc5parser1_1.1.2-2+b1_amd64.deb                2024-06-26 17:01  230K  
 libcvc5parser1_1.1.2-2_amd64.deb                   2024-03-20 09:42  229K  
 libcvc5parser1_1.1.2-2+b1_arm64.deb                2024-06-26 17:37  201K  
 libcvc5parser1_1.1.2-2_arm64.deb                   2024-03-20 10:29  201K  
 libcvc5parser1_1.1.2-2+b1_armhf.deb                2024-06-26 17:07  200K  
 libcvc5parser1_1.1.2-2_armhf.deb                   2024-03-20 07:29  200K  
 libcvc5parser1_1.1.2-2+b1_armel.deb                2024-06-26 17:01  194K  
 libcvc5parser1_1.1.2-2_armel.deb                   2024-03-20 07:13  193K  
 cvc5_1.1.2-2+b1_i386.deb                           2024-06-26 17:01  111K  
 cvc5_1.1.2-2_i386.deb                              2024-03-20 07:08  111K  
 cvc5_1.1.2-2+b1_amd64.deb                          2024-06-26 17:01  108K  
 cvc5_1.1.2-2_amd64.deb                             2024-03-20 09:42  108K  
 cvc5_1.1.2-2_armhf.deb                             2024-03-20 07:28  100K  
 cvc5_1.1.2-2+b1_armhf.deb                          2024-06-26 17:07  100K  
 cvc5_1.1.2-2+b1_armel.deb                          2024-06-26 17:01   98K  
 cvc5_1.1.2-2_armel.deb                             2024-03-20 07:13   98K  
 cvc5_1.1.2-2+b1_arm64.deb                          2024-06-26 17:37   97K  
 cvc5_1.1.2-2_arm64.deb                             2024-03-20 10:29   96K  
 libcvc5-dev_1.1.2-2+b1_armhf.deb                   2024-06-26 17:07   91K  
 libcvc5-dev_1.1.2-2+b1_arm64.deb                   2024-06-26 17:37   91K  
 libcvc5-dev_1.1.2-2+b1_amd64.deb                   2024-06-26 17:01   91K  
 libcvc5-dev_1.1.2-2+b1_i386.deb                    2024-06-26 17:01   91K  
 libcvc5-dev_1.1.2-2+b1_armel.deb                   2024-06-26 17:01   91K  
 libcvc5-dev_1.1.2-2_armhf.deb                      2024-03-20 07:29   91K  
 libcvc5-dev_1.1.2-2_arm64.deb                      2024-03-20 10:29   91K  
 libcvc5-dev_1.1.2-2_amd64.deb                      2024-03-20 09:42   91K  
 libcvc5-dev_1.1.2-2_armel.deb                      2024-03-20 07:13   91K  
 libcvc5-dev_1.1.2-2_i386.deb                       2024-03-20 07:08   91K  
 cvc5_1.1.2-2.debian.tar.xz                         2024-03-20 06:22  7.2K  
 cvc5_1.1.2-2.dsc                                   2024-03-20 06:22  2.4K