Index of /debian/pool/main/c/cvc4

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 libcvc4parser7_1.8-4_i386.deb     2025-08-11 12:04  402K  
 libcvc4parser7_1.8-4_amd64.deb    2025-08-11 12:09  373K  
 libcvc4parser7_1.8-3_i386.deb     2022-10-29 17:23  379K  
 libcvc4parser7_1.8-3_amd64.deb    2022-10-29 17:29  354K  
 libcvc4parser7_1.8-3+b4_i386.deb  2025-04-07 12:36  402K  
 libcvc4parser7_1.8-3+b4_amd64.deb 2025-04-07 12:25  373K  
 libcvc4parser7_1.8-2_i386.deb     2020-09-17 22:42  374K  
 libcvc4parser7_1.8-2_amd64.deb    2020-09-17 22:11  358K  
 libcvc4-dev_1.8-4_i386.deb        2025-08-11 12:04  128K  
 libcvc4-dev_1.8-4_amd64.deb       2025-08-11 12:09  128K  
 libcvc4-dev_1.8-3_i386.deb        2022-10-29 17:23  128K  
 libcvc4-dev_1.8-3_amd64.deb       2022-10-29 17:29  128K  
 libcvc4-dev_1.8-3+b4_i386.deb     2025-04-07 12:36  128K  
 libcvc4-dev_1.8-3+b4_amd64.deb    2025-04-07 12:25  128K  
 libcvc4-dev_1.8-2_i386.deb        2020-09-17 22:42  128K  
 libcvc4-dev_1.8-2_amd64.deb       2020-09-17 22:11  128K  
 libcvc4-7_1.8-4_i386.deb          2025-08-11 12:04  6.8M  
 libcvc4-7_1.8-4_amd64.deb         2025-08-11 12:09  6.2M  
 libcvc4-7_1.8-3_i386.deb          2022-10-29 17:23  6.4M  
 libcvc4-7_1.8-3_amd64.deb         2022-10-29 17:29  5.7M  
 libcvc4-7_1.8-3+b4_i386.deb       2025-04-07 12:36  6.8M  
 libcvc4-7_1.8-3+b4_amd64.deb      2025-04-07 12:25  6.3M  
 libcvc4-7_1.8-2_i386.deb          2020-09-17 22:42  5.9M  
 libcvc4-7_1.8-2_amd64.deb         2020-09-17 22:11  5.4M  
 cvc4_1.8.orig.tar.gz              2020-09-13 19:17  7.2M  
 cvc4_1.8-4_i386.deb               2025-08-11 12:04   83K  
 cvc4_1.8-4_amd64.deb              2025-08-11 12:09   80K  
 cvc4_1.8-4.dsc                    2025-07-27 10:17  2.2K  
 cvc4_1.8-4.debian.tar.xz          2025-07-27 10:17   17K  
 cvc4_1.8-3_i386.deb               2022-10-29 17:23   81K  
 cvc4_1.8-3_amd64.deb              2022-10-29 17:29   79K  
 cvc4_1.8-3.dsc                    2022-10-29 15:57  2.2K  
 cvc4_1.8-3.debian.tar.xz          2022-10-29 15:57   16K  
 cvc4_1.8-3+b4_i386.deb            2025-04-07 12:36   83K  
 cvc4_1.8-3+b4_amd64.deb           2025-04-07 12:25   81K  
 cvc4_1.8-2_i386.deb               2020-09-17 22:42   81K  
 cvc4_1.8-2_amd64.deb              2020-09-17 22:11   80K  
 cvc4_1.8-2.dsc                    2020-09-17 21:25  2.2K  
 cvc4_1.8-2.debian.tar.xz          2020-09-17 21:25   16K