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

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 cvc4_1.5-1.dsc                         2017-11-01 14:57  2.2K  
 cvc4_1.8-2.dsc                         2020-09-30 17:43  2.2K  
 cvc4_1.8-3build2.dsc                   2024-03-31 20:36  2.3K  
 cvc4_1.6-2build2.dsc                   2020-02-03 23:24  2.7K  
 cvc4_1.5-1.debian.tar.xz               2017-11-01 14:57  5.9K  
 cvc4_1.6-2build2.debian.tar.xz         2020-02-03 23:24  8.2K  
 cvc4_1.8-2.debian.tar.xz               2020-09-30 17:43   16K  
 cvc4_1.8-3build2.debian.tar.xz         2024-03-31 20:36   16K  
 cvc4_1.8-2_armhf.deb                   2020-09-30 19:43   66K  
 cvc4_1.8-2_arm64.deb                   2020-09-30 18:43   66K  
 cvc4_1.8-2_s390x.deb                   2020-09-30 17:58   67K  
 cvc4_1.8-2_riscv64.deb                 2020-09-30 21:03   67K  
 cvc4_1.8-2_ppc64el.deb                 2020-09-30 17:58   70K  
 cvc4_1.8-3build2_arm64.deb             2024-04-02 03:07   70K  
 cvc4_1.8-3build2_armhf.deb             2024-04-02 04:14   72K  
 cvc4_1.8-3build2_s390x.deb             2024-04-02 13:03   75K  
 cvc4_1.8-3build2_ppc64el.deb           2024-04-02 07:58   75K  
 cvc4_1.8-3build2_riscv64.deb           2024-04-04 03:07   75K  
 libcvc4-dev_1.8-2_arm64.deb            2020-09-30 18:43  120K  
 libcvc4-dev_1.8-2_armhf.deb            2020-09-30 19:43  120K  
 libcvc4-dev_1.8-2_riscv64.deb          2020-09-30 21:03  120K  
 libcvc4-dev_1.8-2_s390x.deb            2020-09-30 17:58  120K  
 libcvc4-dev_1.8-2_ppc64el.deb          2020-09-30 17:58  120K  
 libcvc4-dev_1.8-3build2_arm64.deb      2024-04-02 03:07  122K  
 libcvc4-dev_1.8-3build2_armhf.deb      2024-04-02 04:14  122K  
 libcvc4-dev_1.8-3build2_riscv64.deb    2024-04-04 03:07  122K  
 libcvc4-dev_1.8-3build2_s390x.deb      2024-04-02 13:03  122K  
 libcvc4-dev_1.8-3build2_ppc64el.deb    2024-04-02 07:58  122K  
 libcvc4parser7_1.8-2_arm64.deb         2020-09-30 18:43  311K  
 libcvc4parser7_1.8-2_armhf.deb         2020-09-30 19:43  312K  
 libcvc4parser7_1.8-2_s390x.deb         2020-09-30 17:58  324K  
 libcvc4parser7_1.8-2_riscv64.deb       2020-09-30 21:03  332K  
 libcvc4parser7_1.8-2_ppc64el.deb       2020-09-30 17:58  338K  
 libcvc4parser7_1.8-3build2_arm64.deb   2024-04-02 03:07  345K  
 libcvc4parser7_1.8-3build2_armhf.deb   2024-04-02 04:14  357K  
 libcvc4parser7_1.8-3build2_ppc64el.deb 2024-04-02 07:58  374K  
 libcvc4parser7_1.8-3build2_riscv64.deb 2024-04-04 03:07  378K  
 libcvc4parser7_1.8-3build2_s390x.deb   2024-04-02 13:03  408K  
 libcvc4-7_1.8-3build2_arm64.deb        2024-04-02 03:07  4.1M  
 libcvc4-7_1.8-3build2_ppc64el.deb      2024-04-02 07:58  4.5M  
 libcvc4-7_1.8-2_arm64.deb              2020-09-30 18:43  4.6M  
 libcvc4-7_1.8-3build2_s390x.deb        2024-04-02 13:03  4.8M  
 libcvc4-7_1.8-2_armhf.deb              2020-09-30 19:43  4.8M  
 libcvc4-7_1.8-2_ppc64el.deb            2020-09-30 17:58  5.1M  
 libcvc4-7_1.8-2_s390x.deb              2020-09-30 17:58  5.2M  
 libcvc4-7_1.8-2_riscv64.deb            2020-09-30 21:03  5.2M  
 libcvc4-7_1.8-3build2_armhf.deb        2024-04-02 04:14  5.9M  
 libcvc4-7_1.8-3build2_riscv64.deb      2024-04-04 03:07  6.4M  
 cvc4_1.8.orig.tar.gz                   2020-09-30 17:43  7.2M  
 cvc4_1.6.orig.tar.gz                   2018-08-12 07:13  7.5M  
 cvc4_1.5.orig.tar.gz                   2017-11-01 14:57  7.6M