Index of /pool/universe/c/cvc4

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