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