Name                             Last modified      Size  Description
 Parent Directory                                      -   
 cvc5_1.0.3-1.debian.tar.xz       2022-12-20 06:29  5.8K  
 cvc5_1.0.3-1.dsc                 2022-12-20 06:29  2.3K  
 cvc5_1.0.3-1_amd64.deb           2022-12-20 06:49   96K  
 cvc5_1.0.3.orig.tar.gz           2022-12-20 06:29  7.9M  
 libcvc5-1_1.0.3-1_amd64.deb      2022-12-20 06:49  4.6M  
 libcvc5-dev_1.0.3-1_amd64.deb    2022-12-20 06:49   52K  
 libcvc5parser1_1.0.3-1_amd64.deb 2022-12-20 06:49  297K