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

Icon  Name                              Last modified      Size  Description
[PARENTDIR] Parent Directory                                       -   
[   ] cvc4_1.6.orig.tar.gz              2018-08-08 03:44  7.5M  
[   ] cvc4_1.6-2.debian.tar.xz          2018-08-14 04:01  8.0K  
[TXT] cvc4_1.6-2.dsc                    2018-08-14 04:01  2.6K  
[   ] cvc4_1.6-2+b1_i386.deb            2018-11-17 10:59  136K  
[   ] libcvc4-5_1.6-2+b1_i386.deb       2018-11-17 10:59  4.3M  
[   ] libcvc4-dev_1.6-2+b1_i386.deb     2018-11-17 10:59  6.9M  
[   ] libcvc4parser5_1.6-2+b1_i386.deb  2018-11-17 10:59  380K  
[   ] cvc4_1.6-2+b1_amd64.deb           2018-11-17 17:57  133K  
[   ] libcvc4-5_1.6-2+b1_amd64.deb      2018-11-17 17:57  3.9M  
[   ] libcvc4-dev_1.6-2+b1_amd64.deb    2018-11-17 17:57  6.4M  
[   ] libcvc4parser5_1.6-2+b1_amd64.deb 2018-11-17 17:57  354K  
[   ] cvc4_1.8.orig.tar.gz              2020-09-14 07:17  7.2M  
[   ] cvc4_1.8-2.debian.tar.xz          2020-09-18 09:25   16K  
[TXT] cvc4_1.8-2.dsc                    2020-09-18 09:25  2.2K  
[   ] cvc4_1.8-2_amd64.deb              2020-09-18 10:11   80K  
[   ] libcvc4-7_1.8-2_amd64.deb         2020-09-18 10:11  5.4M  
[   ] libcvc4-dev_1.8-2_amd64.deb       2020-09-18 10:11  128K  
[   ] libcvc4parser7_1.8-2_amd64.deb    2020-09-18 10:11  358K  
[   ] cvc4_1.8-2_i386.deb               2020-09-18 10:42   81K  
[   ] libcvc4-7_1.8-2_i386.deb          2020-09-18 10:42  5.9M  
[   ] libcvc4-dev_1.8-2_i386.deb        2020-09-18 10:42  128K  
[   ] libcvc4parser7_1.8-2_i386.deb     2020-09-18 10:42  374K  
[   ] cvc4_1.8-3.debian.tar.xz          2022-10-30 03:57   16K  
[TXT] cvc4_1.8-3.dsc                    2022-10-30 03:57  2.2K  
[   ] cvc4_1.8-3_i386.deb               2022-10-30 05:23   81K  
[   ] libcvc4-7_1.8-3_i386.deb          2022-10-30 05:23  6.4M  
[   ] libcvc4-dev_1.8-3_i386.deb        2022-10-30 05:23  128K  
[   ] libcvc4parser7_1.8-3_i386.deb     2022-10-30 05:23  379K  
[   ] cvc4_1.8-3_amd64.deb              2022-10-30 05:29   79K  
[   ] libcvc4-7_1.8-3_amd64.deb         2022-10-30 05:29  5.7M  
[   ] libcvc4-dev_1.8-3_amd64.deb       2022-10-30 05:29  128K  
[   ] libcvc4parser7_1.8-3_amd64.deb    2022-10-30 05:29  354K  
[   ] cvc4_1.8-3+b4_amd64.deb           2025-04-08 00:25   81K  
[   ] libcvc4-7_1.8-3+b4_amd64.deb      2025-04-08 00:25  6.3M  
[   ] libcvc4-dev_1.8-3+b4_amd64.deb    2025-04-08 00:25  128K  
[   ] libcvc4parser7_1.8-3+b4_amd64.deb 2025-04-08 00:25  373K  
[   ] cvc4_1.8-3+b4_i386.deb            2025-04-08 00:36   83K  
[   ] libcvc4-7_1.8-3+b4_i386.deb       2025-04-08 00:36  6.8M  
[   ] libcvc4-dev_1.8-3+b4_i386.deb     2025-04-08 00:36  128K  
[   ] libcvc4parser7_1.8-3+b4_i386.deb  2025-04-08 00:36  402K