Index of /Raspbian/raspbian/pool/main/c/cvc4

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 cvc4_1.6.orig.tar.gz                               2018-08-08 03:44  7.5M  
 cvc4_1.8.orig.tar.gz                               2020-09-14 07:17  7.2M  
 libcvc4-7_1.8-3+b1_armhf.deb                       2024-06-08 18:08  5.0M  
 libcvc4-7_1.8-3_armhf.deb                          2022-11-02 00:08  5.0M  
 libcvc4-7_1.8-2_armhf.deb                          2020-09-30 06:08  4.7M  
 libcvc4parser7_1.8-2_armhf.deb                     2020-09-30 06:08  317K  
 libcvc4parser7_1.8-3+b1_armhf.deb                  2024-06-08 18:08  313K  
 libcvc4parser7_1.8-3_armhf.deb                     2022-11-02 00:08  310K  
 libcvc4-dev_1.8-3+b1_armhf.deb                     2024-06-08 18:08  128K  
 libcvc4-dev_1.8-2_armhf.deb                        2020-09-30 06:08  128K  
 libcvc4-dev_1.8-3_armhf.deb                        2022-11-02 00:08  128K  
 cvc4_1.8-3+b1_armhf.deb                            2024-06-08 18:08   74K  
 cvc4_1.8-2_armhf.deb                               2020-09-30 06:08   73K  
 cvc4_1.8-3_armhf.deb                               2022-11-02 00:08   72K  
 cvc4_1.8-3.debian.tar.xz                           2022-10-30 03:57   16K  
 cvc4_1.8-2.debian.tar.xz                           2020-09-18 09:25   16K  
 cvc4_1.6-2.debian.tar.xz                           2018-08-14 04:01  8.0K  
 cvc4_1.6-2.dsc                                     2018-08-14 04:01  2.6K  
 cvc4_1.8-2.dsc                                     2020-09-18 09:25  2.2K  
 cvc4_1.8-3.dsc                                     2022-10-30 03:57  2.2K