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

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 cvc4_1.5.orig.tar.gz                      01-Nov-2017 09:57  7.6M  
 cvc4_1.6.orig.tar.gz                      12-Aug-2018 01:13  7.5M  
 libcvc4-dev_1.6-2build1_i386.deb          14-Jan-2019 17:53  6.9M  
 libcvc4-dev_1.6-2build1_amd64.deb         14-Jan-2019 17:00  6.4M  
 libcvc4-dev_1.5-1buil1build1_i386.deb     17-Jul-2018 12:58  6.3M  
 libcvc4-dev_1.5-1_i386.deb                03-Nov-2017 02:59  6.1M  
 libcvc4-dev_1.5-1buil1build1_amd64.deb    17-Jul-2018 12:43  5.9M  
 libcvc4-dev_1.5-1_amd64.deb               03-Nov-2017 02:57  5.7M  
 libcvc4-5_1.6-2build1_i386.deb            14-Jan-2019 17:53  4.3M  
 libcvc4-5_1.6-2build1_amd64.deb           14-Jan-2019 17:00  3.9M  
 libcvc4-4_1.5-1buil1build1_i386.deb       17-Jul-2018 12:58  3.6M  
 libcvc4-4_1.5-1_i386.deb                  03-Nov-2017 02:59  3.5M  
 libcvc4-4_1.5-1buil1build1_amd64.deb      17-Jul-2018 12:43  3.3M  
 libcvc4-4_1.5-1_amd64.deb                 03-Nov-2017 02:57  3.2M  
 libcvc4parser4_1.5-1buil1build1_i386.deb  17-Jul-2018 12:58  383K  
 libcvc4parser4_1.5-1_i386.deb             03-Nov-2017 02:59  381K  
 libcvc4parser5_1.6-2build1_i386.deb       14-Jan-2019 17:53  376K  
 libcvc4parser4_1.5-1_amd64.deb            03-Nov-2017 02:57  355K  
 libcvc4parser4_1.5-1buil1build1_amd64.deb 17-Jul-2018 12:43  354K  
 libcvc4parser5_1.6-2build1_amd64.deb      14-Jan-2019 17:00  349K  
 cvc4_1.5-1_i386.deb                       03-Nov-2017 02:59  139K  
 cvc4_1.5-1_amd64.deb                      03-Nov-2017 02:57  135K  
 cvc4_1.5-1buil1build1_i386.deb            17-Jul-2018 12:58  134K  
 cvc4_1.6-2build1_i386.deb                 14-Jan-2019 17:53  134K  
 cvc4_1.5-1buil1build1_amd64.deb           17-Jul-2018 12:43  131K  
 cvc4_1.6-2build1_amd64.deb                14-Jan-2019 17:00  131K  
 cvc4_1.6-2build1.debian.tar.xz            14-Jan-2019 16:10  8.1K  
 cvc4_1.5-1buil1build1.debian.tar.xz       17-Jul-2018 11:38  6.0K  
 cvc4_1.5-1.debian.tar.xz                  01-Nov-2017 09:57  5.9K  
 cvc4_1.6-2build1.dsc                      14-Jan-2019 16:10  2.6K  
 cvc4_1.5-1buil1build1.dsc                 17-Jul-2018 11:38  2.2K  
 cvc4_1.5-1.dsc                            01-Nov-2017 09:57  2.2K