Index of /raspbian/pool/main/c/cvc5/

Icon  Name                                Last modified      Size  
[PARENTDIR] Parent Directory                                         -   
[   ] cvc5_1.0.3-1.debian.tar.xz          2022-12-20 03:26  5.8K  
[TXT] cvc5_1.0.3-1.dsc                    2022-12-20 03:26  2.3K  
[   ] cvc5_1.0.3.orig.tar.gz              2022-12-20 03:26  7.9M  
[   ] cvc5_1.1.2-2+b2_armhf.deb           2025-01-29 10:08   96K  
[   ] cvc5_1.1.2-2.debian.tar.xz          2024-03-19 22:22  7.2K  
[TXT] cvc5_1.1.2-2.dsc                    2024-03-19 22:22  2.4K  
[   ] cvc5_1.1.2.orig.tar.gz              2024-03-03 02:53  8.2M  
[   ] libcvc5-1_1.1.2-2+b2_armhf.deb      2025-01-29 10:08  5.5M  
[   ] libcvc5-dev_1.1.2-2+b2_armhf.deb    2025-01-29 10:08   91K  
[   ] libcvc5parser1_1.1.2-2+b2_armhf.deb 2025-01-29 10:08  196K  
[   ] python3-cvc5_1.1.2-2+b2_armhf.deb   2025-01-29 10:08  305K