Name                             Last modified      Size  Description
 Parent Directory                                      -   
 cvc5_1.0.5.orig.tar.gz           2023-06-20 18:39  8.0M  
 cvc5_1.0.3.orig.tar.gz           2022-12-20 05:29  7.9M  
 libcvc5-1_1.0.5-3_amd64.deb      2023-06-25 03:04  4.6M  
 libcvc5-1_1.0.3-1_amd64.deb      2022-12-20 05:49  4.6M  
 libcvc5parser1_1.0.5-3_amd64.deb 2023-06-25 03:04  344K  
 libcvc5parser1_1.0.3-1_amd64.deb 2022-12-20 05:49  297K  
 python3-cvc5_1.0.5-3_amd64.deb   2023-06-25 03:04  239K  
 cvc5_1.0.3-1_amd64.deb           2022-12-20 05:49   96K  
 cvc5_1.0.5-3_amd64.deb           2023-06-25 03:04   88K  
 libcvc5-dev_1.0.5-3_amd64.deb    2023-06-25 03:04   53K  
 libcvc5-dev_1.0.3-1_amd64.deb    2022-12-20 05:49   52K  
 cvc5_1.0.5-3.debian.tar.xz       2023-06-24 06:45  6.9K  
 cvc5_1.0.3-1.debian.tar.xz       2022-12-20 05:29  5.8K  
 cvc5_1.0.5-3.dsc                 2023-06-24 06:45  2.4K  
 cvc5_1.0.3-1.dsc                 2022-12-20 05:29  2.3K