Index of /trisquel/packages/pool/main/c/cvc4

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libcvc4parser7_1.8-2_armhf.deb                     2020-10-01 01:43  312K  
 libcvc4-dev_1.8-2_armhf.deb                        2020-10-01 01:43  120K  
 libcvc4-7_1.8-2_armhf.deb                          2020-10-01 01:43  4.8M  
 cvc4_1.8-2_armhf.deb                               2020-10-01 01:43   66K  
 libcvc4parser7_1.8-2_arm64.deb                     2020-10-01 00:43  311K  
 libcvc4-dev_1.8-2_arm64.deb                        2020-10-01 00:43  120K  
 libcvc4-7_1.8-2_arm64.deb                          2020-10-01 00:43  4.6M  
 cvc4_1.8-2_arm64.deb                               2020-10-01 00:43   66K  
 libcvc4parser7_1.8-2_amd64.deb                     2020-10-01 00:28  349K  
 libcvc4-dev_1.8-2_amd64.deb                        2020-10-01 00:28  120K  
 libcvc4-7_1.8-2_amd64.deb                          2020-10-01 00:28  5.4M  
 cvc4_1.8-2_amd64.deb                               2020-10-01 00:28   72K  
 libcvc4parser7_1.8-2_ppc64el.deb                   2020-09-30 23:58  338K  
 libcvc4-7_1.8-2_ppc64el.deb                        2020-09-30 23:58  5.1M  
 libcvc4-dev_1.8-2_ppc64el.deb                      2020-09-30 23:58  120K  
 cvc4_1.8-2_ppc64el.deb                             2020-09-30 23:58   70K  
 cvc4_1.8-2.debian.tar.xz                           2020-09-30 23:43   16K  
 cvc4_1.8.orig.tar.gz                               2020-09-30 23:43  7.2M  
 cvc4_1.8-2.dsc                                     2020-09-30 23:43  2.2K  
 libcvc4parser5_1.6-2build2_amd64.deb               2020-02-04 07:45  356K  
 libcvc4-dev_1.6-2build2_amd64.deb                  2020-02-04 07:45  7.0M  
 libcvc4-5_1.6-2build2_amd64.deb                    2020-02-04 07:45  4.3M  
 cvc4_1.6-2build2_amd64.deb                         2020-02-04 07:45  135K  
 cvc4_1.6-2build2.dsc                               2020-02-04 06:24  2.7K  
 cvc4_1.6-2build2.debian.tar.xz                     2020-02-04 06:24  8.2K  
 cvc4_1.6.orig.tar.gz                               2018-08-12 13:13  7.5M  
 libcvc4parser4_1.5-1_i386.deb                      2017-11-03 14:59  381K  
 cvc4_1.5-1_i386.deb                                2017-11-03 14:59  139K  
 libcvc4-dev_1.5-1_i386.deb                         2017-11-03 14:59  6.1M  
 libcvc4-4_1.5-1_i386.deb                           2017-11-03 14:59  3.5M  
 libcvc4parser4_1.5-1_amd64.deb                     2017-11-03 14:57  355K  
 libcvc4-dev_1.5-1_amd64.deb                        2017-11-03 14:57  5.7M  
 libcvc4-4_1.5-1_amd64.deb                          2017-11-03 14:57  3.2M  
 cvc4_1.5-1_amd64.deb                               2017-11-03 14:57  135K  
 cvc4_1.5-1.debian.tar.xz                           2017-11-01 21:57  5.9K  
 cvc4_1.5.orig.tar.gz                               2017-11-01 21:57  7.6M  
 cvc4_1.5-1.dsc                                     2017-11-01 21:57  2.2K