Index of /ubuntu/pool/universe/c/cvc4

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 cvc4_1.5-1.debian.ta..> 01-Nov-2017 13:57  5.9K  
 cvc4_1.5-1.dsc          01-Nov-2017 13:57  2.2K  
 cvc4_1.5-1_amd64.deb    03-Nov-2017 06:57  135K  
 cvc4_1.5-1_i386.deb     03-Nov-2017 06:59  139K  
 cvc4_1.5.orig.tar.gz    01-Nov-2017 13:57  7.6M  
 cvc4_1.6-2build2.deb..> 03-Feb-2020 22:24  8.2K  
 cvc4_1.6-2build2.dsc    03-Feb-2020 22:24  2.7K  
 cvc4_1.6-2build2_amd..> 03-Feb-2020 23:45  135K  
 cvc4_1.6.orig.tar.gz    12-Aug-2018 05:13  7.5M  
 cvc4_1.8-2.debian.ta..> 30-Sep-2020 15:43   16K  
 cvc4_1.8-2.dsc          30-Sep-2020 15:43  2.2K  
 cvc4_1.8-2_amd64.deb    30-Sep-2020 16:28   72K  
 cvc4_1.8-3.debian.ta..> 06-Nov-2022 03:17   16K  
 cvc4_1.8-3.dsc          06-Nov-2022 03:17  2.2K  
 cvc4_1.8-3_amd64.deb    06-Nov-2022 03:21   73K  
 cvc4_1.8-3build2.deb..> 31-Mar-2024 18:36   16K  
 cvc4_1.8-3build2.dsc    31-Mar-2024 18:36  2.3K  
 cvc4_1.8-3build2_amd..> 31-Mar-2024 20:36   74K  
 cvc4_1.8.orig.tar.gz    30-Sep-2020 15:43  7.2M  
 libcvc4-4_1.5-1_amd6..> 03-Nov-2017 06:57  3.2M  
 libcvc4-4_1.5-1_i386..> 03-Nov-2017 06:59  3.5M  
 libcvc4-5_1.6-2build..> 03-Feb-2020 23:45  4.3M  
 libcvc4-7_1.8-2_amd6..> 30-Sep-2020 16:28  5.4M  
 libcvc4-7_1.8-3_amd6..> 06-Nov-2022 03:21  4.5M  
 libcvc4-7_1.8-3build..> 31-Mar-2024 20:36  4.5M  
 libcvc4-dev_1.5-1_am..> 03-Nov-2017 06:57  5.7M  
 libcvc4-dev_1.5-1_i3..> 03-Nov-2017 06:59  6.1M  
 libcvc4-dev_1.6-2bui..> 03-Feb-2020 23:45  7.0M  
 libcvc4-dev_1.8-2_am..> 30-Sep-2020 16:28  120K  
 libcvc4-dev_1.8-3_am..> 06-Nov-2022 03:21  122K  
 libcvc4-dev_1.8-3bui..> 31-Mar-2024 20:36  122K  
 libcvc4parser4_1.5-1..> 03-Nov-2017 06:57  355K  
 libcvc4parser4_1.5-1..> 03-Nov-2017 06:59  381K  
 libcvc4parser5_1.6-2..> 03-Feb-2020 23:45  356K  
 libcvc4parser7_1.8-2..> 30-Sep-2020 16:28  349K  
 libcvc4parser7_1.8-3..> 06-Nov-2022 03:21  370K  
 libcvc4parser7_1.8-3..> 31-Mar-2024 20:36  365K