![[ICO]](/icons/blank.gif) | Name | Last modified | Size |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - |
![[ ]](/icons/unknown.gif) | 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 |
![[ ]](/icons/compressed.gif) | 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.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-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 |
| 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 |
|
|---|