Index of /ubuntu/pool/universe/c/cvc5

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 cvc5_1.0.3-1.debian.tar.xz       2022-12-20 22:29  5.8K  
 cvc5_1.0.3-1.dsc                 2022-12-20 22:29  2.3K  
 cvc5_1.0.3-1_amd64.deb           2022-12-20 22:49   96K  
 cvc5_1.0.3.orig.tar.gz           2022-12-20 22:29  7.9M  
 cvc5_1.0.5-3.debian.tar.xz       2023-06-24 21:45  6.9K  
 cvc5_1.0.5-3.dsc                 2023-06-24 21:45  2.4K  
 cvc5_1.0.5-3_amd64.deb           2023-06-25 18:04   88K  
 cvc5_1.0.5.orig.tar.gz           2023-06-21 09:39  8.0M  
 cvc5_1.1.1-1.debian.tar.xz       2024-02-15 23:29  6.8K  
 cvc5_1.1.1-1.dsc                 2024-02-15 23:29  2.4K  
 cvc5_1.1.1-1_amd64.deb           2024-02-16 20:33   93K  
 cvc5_1.1.1.orig.tar.gz           2024-02-15 23:29  8.1M  
 libcvc5-1_1.0.3-1_amd64.deb      2022-12-20 22:49  4.6M  
 libcvc5-1_1.0.5-3_amd64.deb      2023-06-25 18:04  4.6M  
 libcvc5-1_1.1.1-1_amd64.deb      2024-02-16 20:33  4.8M  
 libcvc5-dev_1.0.3-1_amd64.deb    2022-12-20 22:49   52K  
 libcvc5-dev_1.0.5-3_amd64.deb    2023-06-25 18:04   53K  
 libcvc5-dev_1.1.1-1_amd64.deb    2024-02-16 20:33   70K  
 libcvc5parser1_1.0.3-1_amd64.deb 2022-12-20 22:49  297K  
 libcvc5parser1_1.0.5-3_amd64.deb 2023-06-25 18:04  344K  
 libcvc5parser1_1.1.1-1_amd64.deb 2024-02-16 20:33  204K  
 python3-cvc5_1.0.5-3_amd64.deb   2023-06-25 18:04  239K  
 python3-cvc5_1.1.1-1_amd64.deb   2024-02-16 20:33  335K