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

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