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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 cvc4_1.6-2+b1_amd64.deb 2018-11-17 12:57  133K  
 cvc4_1.6-2.debian.ta..> 2018-08-13 23:01  8.0K  
 cvc4_1.6-2.dsc          2018-08-13 23:01  2.6K  
 cvc4_1.6.orig.tar.gz    2018-08-07 22:44  7.5M  
 cvc4_1.8-2.debian.ta..> 2020-09-18 04:25   16K  
 cvc4_1.8-2.dsc          2020-09-18 04:25  2.2K  
 cvc4_1.8-2_amd64.deb    2020-09-18 05:11   80K  
 cvc4_1.8-3+b3_amd64.deb 2024-03-24 13:12   80K  
 cvc4_1.8-3.debian.ta..> 2022-10-29 22:57   16K  
 cvc4_1.8-3.dsc          2022-10-29 22:57  2.2K  
 cvc4_1.8-3_amd64.deb    2022-10-30 00:29   79K  
 cvc4_1.8.orig.tar.gz    2020-09-14 02:17  7.2M  
 libcvc4-5_1.6-2+b1_a..> 2018-11-17 12:57  3.9M  
 libcvc4-7_1.8-2_amd6..> 2020-09-18 05:11  5.4M  
 libcvc4-7_1.8-3+b3_a..> 2024-03-24 13:12  5.7M  
 libcvc4-7_1.8-3_amd6..> 2022-10-30 00:29  5.7M  
 libcvc4-dev_1.6-2+b1..> 2018-11-17 12:57  6.4M  
 libcvc4-dev_1.8-2_am..> 2020-09-18 05:11  128K  
 libcvc4-dev_1.8-3+b3..> 2024-03-24 13:12  128K  
 libcvc4-dev_1.8-3_am..> 2022-10-30 00:29  128K  
 libcvc4parser5_1.6-2..> 2018-11-17 12:57  354K  
 libcvc4parser7_1.8-2..> 2020-09-18 05:11  358K  
 libcvc4parser7_1.8-3..> 2024-03-24 13:12  357K  
 libcvc4parser7_1.8-3..> 2022-10-30 00:29  354K