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

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