Index of /Deepin/deepin/apricot/pool/main/c/cvc4

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libcvc4-dev_1.6-2+b1_amd64.deb                     2022-04-11 11:44  6.4M  
 libcvc4parser5_1.6-2+b1_amd64.deb                  2022-04-11 11:37  354K  
 libcvc4-5_1.6-2+b1_amd64.deb                       2022-04-11 11:33  3.9M  
 libcvc4-5_1.6-2+b1_i386.deb                        2022-04-11 11:33  4.3M  
 cvc4_1.6-2+b1_i386.deb                             2022-04-11 11:26  136K  
 cvc4_1.6.orig.tar.gz                               2022-04-11 11:20  7.5M  
 cvc4_1.6-2.debian.tar.xz                           2022-04-11 11:20  8.0K  
 cvc4_1.6-2.dsc                                     2022-04-11 11:20  2.6K  
 libcvc4parser5_1.6-2+b1_i386.deb                   2022-04-11 11:13  380K  
 libcvc4-dev_1.6-2+b1_i386.deb                      2022-04-11 11:12  6.9M  
 cvc4_1.6-2+b1_amd64.deb                            2022-04-11 10:57  133K