Index of /pool/main/c/cvc4

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 cvc4_1.8-3+b3_amd64.deb           2024-03-24 11:12   80K  
 cvc4_1.8-3+b4_amd64.deb           2025-04-07 18:25   81K  
 cvc4_1.8-3+b4_arm64.deb           2025-04-08 03:42   75K  
 cvc4_1.8-3.debian.tar.xz          2022-10-29 21:57   16K  
 cvc4_1.8-3.dsc                    2022-10-29 21:57  2.2K  
 cvc4_1.8.orig.tar.gz              2020-09-14 01:17  7.2M  
 libcvc4-7_1.8-3+b3_amd64.deb      2024-03-24 11:12  5.7M  
 libcvc4-7_1.8-3+b4_amd64.deb      2025-04-07 18:25  6.3M  
 libcvc4-7_1.8-3+b4_arm64.deb      2025-04-08 03:42  5.4M  
 libcvc4-dev_1.8-3+b3_amd64.deb    2024-03-24 11:12  128K  
 libcvc4-dev_1.8-3+b4_amd64.deb    2025-04-07 18:25  128K  
 libcvc4-dev_1.8-3+b4_arm64.deb    2025-04-08 03:42  128K  
 libcvc4parser7_1.8-3+b3_amd64.deb 2024-03-24 11:12  357K  
 libcvc4parser7_1.8-3+b4_amd64.deb 2025-04-07 18:25  373K  
 libcvc4parser7_1.8-3+b4_arm64.deb 2025-04-08 03:42  326K