Index of /sites/archive.raspbian.org/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.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-2_armhf.deb                            2024-05-21 23:08   97K  
[   ] cvc5_1.1.2.orig.tar.gz                            2024-03-03 02:53  8.2M  
[   ] libcvc5-1_1.1.2-2_armhf.deb                       2024-05-21 23:08  5.3M  
[   ] libcvc5-dev_1.1.2-2_armhf.deb                     2024-05-21 23:08   91K  
[   ] libcvc5parser1_1.1.2-2_armhf.deb                  2024-05-21 23:08  193K  
[   ] python3-cvc5_1.1.2-2_armhf.deb                    2024-05-21 23:08  297K