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

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 libcvc4parser7_1.8-2_i386.deb     2020-09-17 22:42  374K  
 libcvc4parser7_1.8-2_arm64.deb    2020-09-17 22:27  321K  
 libcvc4parser7_1.8-2_amd64.deb    2020-09-17 22:11  358K  
 libcvc4parser5_1.6-2+b1_i386.deb  2018-11-16 21:59  380K  
 libcvc4parser5_1.6-2+b1_amd64.deb 2018-11-17 04:57  354K  
 libcvc4-dev_1.8-2_i386.deb        2020-09-17 22:42  128K  
 libcvc4-dev_1.8-2_arm64.deb       2020-09-17 22:27  128K  
 libcvc4-dev_1.8-2_amd64.deb       2020-09-17 22:11  128K  
 libcvc4-dev_1.6-2+b1_i386.deb     2018-11-16 21:59  6.9M  
 libcvc4-dev_1.6-2+b1_amd64.deb    2018-11-17 04:57  6.4M  
 libcvc4-7_1.8-2_i386.deb          2020-09-17 22:42  5.9M  
 libcvc4-7_1.8-2_arm64.deb         2020-09-17 22:27  4.6M  
 libcvc4-7_1.8-2_amd64.deb         2020-09-17 22:11  5.4M  
 libcvc4-5_1.6-2+b1_i386.deb       2018-11-16 21:59  4.3M  
 libcvc4-5_1.6-2+b1_amd64.deb      2018-11-17 04:57  3.9M  
 cvc4_1.8.orig.tar.gz              2020-09-13 19:17  7.2M  
 cvc4_1.8-2_i386.deb               2020-09-17 22:42   81K  
 cvc4_1.8-2_arm64.deb              2020-09-17 22:27   74K  
 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  
 cvc4_1.6.orig.tar.gz              2018-08-07 15:44  7.5M  
 cvc4_1.6-2.dsc                    2018-08-13 16:01  2.6K  
 cvc4_1.6-2.debian.tar.xz          2018-08-13 16:01  8.0K  
 cvc4_1.6-2+b1_i386.deb            2018-11-16 21:59  136K  
 cvc4_1.6-2+b1_amd64.deb           2018-11-17 04:57  133K