Index of /pub/Linux/raspbian/raspbian/pool/main/c/cvc4

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