Parent directory/ | - | - |
cvc4_1.5-1.debian.tar.xz | 6012 | 2017-Nov-01 13:57 |
cvc4_1.5-1.dsc | 2221 | 2017-Nov-01 13:57 |
cvc4_1.5.orig.tar.gz | 7926116 | 2017-Nov-01 13:57 |
cvc4_1.6-2build2.debian.tar.xz | 8392 | 2020-Feb-03 22:24 |
cvc4_1.6-2build2.dsc | 2755 | 2020-Feb-03 22:24 |
cvc4_1.6.orig.tar.gz | 7815893 | 2018-Aug-12 05:13 |
cvc4_1.8-2.debian.tar.xz | 16456 | 2020-Sep-30 15:43 |
cvc4_1.8-2.dsc | 2275 | 2020-Sep-30 15:43 |
cvc4_1.8-2_arm64.deb | 67816 | 2020-Sep-30 16:43 |
cvc4_1.8-2_armhf.deb | 67376 | 2020-Sep-30 17:43 |
cvc4_1.8-2_ppc64el.deb | 71500 | 2020-Sep-30 15:58 |
cvc4_1.8-2_riscv64.deb | 69072 | 2020-Sep-30 19:03 |
cvc4_1.8-2_s390x.deb | 68444 | 2020-Sep-30 15:58 |
cvc4_1.8-3.debian.tar.xz | 16728 | 2022-Nov-06 03:17 |
cvc4_1.8-3.dsc | 2244 | 2022-Nov-06 03:17 |
cvc4_1.8-3_arm64.deb | 71202 | 2022-Nov-06 06:20 |
cvc4_1.8-3_armhf.deb | 72792 | 2022-Nov-06 05:42 |
cvc4_1.8-3_ppc64el.deb | 75948 | 2022-Nov-06 05:43 |
cvc4_1.8-3_riscv64.deb | 73646 | 2022-Nov-06 10:49 |
cvc4_1.8-3_s390x.deb | 71822 | 2022-Nov-06 05:44 |
cvc4_1.8-3build2.debian.tar.xz | 16876 | 2024-Mar-31 18:36 |
cvc4_1.8-3build2.dsc | 2363 | 2024-Mar-31 18:36 |
cvc4_1.8-3build2_arm64.deb | 71602 | 2024-Apr-02 01:07 |
cvc4_1.8-3build2_armhf.deb | 73820 | 2024-Apr-02 02:14 |
cvc4_1.8-3build2_ppc64el.deb | 76592 | 2024-Apr-02 05:58 |
cvc4_1.8-3build2_riscv64.deb | 77064 | 2024-Apr-04 01:07 |
cvc4_1.8-3build2_s390x.deb | 76306 | 2024-Apr-02 11:03 |
cvc4_1.8.orig.tar.gz | 7547187 | 2020-Sep-30 15:43 |
libcvc4-7_1.8-2_arm64.deb | 4796268 | 2020-Sep-30 16:43 |
libcvc4-7_1.8-2_armhf.deb | 5029444 | 2020-Sep-30 17:43 |
libcvc4-7_1.8-2_ppc64el.deb | 5296712 | 2020-Sep-30 15:58 |
libcvc4-7_1.8-2_riscv64.deb | 5477072 | 2020-Sep-30 19:03 |
libcvc4-7_1.8-2_s390x.deb | 5410100 | 2020-Sep-30 15:58 |
libcvc4-7_1.8-3_arm64.deb | 4325146 | 2022-Nov-06 06:20 |
libcvc4-7_1.8-3_armhf.deb | 6110508 | 2022-Nov-06 05:42 |
libcvc4-7_1.8-3_ppc64el.deb | 4687984 | 2022-Nov-06 05:43 |
libcvc4-7_1.8-3_riscv64.deb | 6492112 | 2022-Nov-06 10:49 |
libcvc4-7_1.8-3_s390x.deb | 4506922 | 2022-Nov-06 05:44 |
libcvc4-7_1.8-3build2_arm64.deb | 4342788 | 2024-Apr-02 01:07 |
libcvc4-7_1.8-3build2_armhf.deb | 6151814 | 2024-Apr-02 02:14 |
libcvc4-7_1.8-3build2_ppc64el.deb | 4745936 | 2024-Apr-02 05:58 |
libcvc4-7_1.8-3build2_riscv64.deb | 6739222 | 2024-Apr-04 01:07 |
libcvc4-7_1.8-3build2_s390x.deb | 5003610 | 2024-Apr-02 11:03 |
libcvc4-dev_1.8-2_arm64.deb | 123208 | 2020-Sep-30 16:43 |
libcvc4-dev_1.8-2_armhf.deb | 123208 | 2020-Sep-30 17:43 |
libcvc4-dev_1.8-2_ppc64el.deb | 123220 | 2020-Sep-30 15:58 |
libcvc4-dev_1.8-2_riscv64.deb | 123212 | 2020-Sep-30 19:03 |
libcvc4-dev_1.8-2_s390x.deb | 123212 | 2020-Sep-30 15:58 |
libcvc4-dev_1.8-3_arm64.deb | 125218 | 2022-Nov-06 06:20 |
libcvc4-dev_1.8-3_armhf.deb | 125218 | 2022-Nov-06 05:42 |
libcvc4-dev_1.8-3_ppc64el.deb | 125224 | 2022-Nov-06 05:43 |
libcvc4-dev_1.8-3_riscv64.deb | 125218 | 2022-Nov-06 10:49 |
libcvc4-dev_1.8-3_s390x.deb | 125214 | 2022-Nov-06 05:44 |
libcvc4-dev_1.8-3build2_arm64.deb | 125246 | 2024-Apr-02 01:07 |
libcvc4-dev_1.8-3build2_armhf.deb | 125254 | 2024-Apr-02 02:14 |
libcvc4-dev_1.8-3build2_ppc64el.deb | 125260 | 2024-Apr-02 05:58 |
libcvc4-dev_1.8-3build2_riscv64.deb | 125254 | 2024-Apr-04 01:07 |
libcvc4-dev_1.8-3build2_s390x.deb | 125254 | 2024-Apr-02 11:03 |
libcvc4parser7_1.8-2_arm64.deb | 318624 | 2020-Sep-30 16:43 |
libcvc4parser7_1.8-2_armhf.deb | 318988 | 2020-Sep-30 17:43 |
libcvc4parser7_1.8-2_ppc64el.deb | 346156 | 2020-Sep-30 15:58 |
libcvc4parser7_1.8-2_riscv64.deb | 339720 | 2020-Sep-30 19:03 |
libcvc4parser7_1.8-2_s390x.deb | 331804 | 2020-Sep-30 15:58 |
libcvc4parser7_1.8-3_arm64.deb | 355716 | 2022-Nov-06 06:20 |
libcvc4parser7_1.8-3_armhf.deb | 368164 | 2022-Nov-06 05:42 |
libcvc4parser7_1.8-3_ppc64el.deb | 385954 | 2022-Nov-06 05:43 |
libcvc4parser7_1.8-3_riscv64.deb | 375124 | 2022-Nov-06 10:49 |
libcvc4parser7_1.8-3_s390x.deb | 350412 | 2022-Nov-06 05:44 |
libcvc4parser7_1.8-3build2_arm64.deb | 353574 | 2024-Apr-02 01:07 |
libcvc4parser7_1.8-3build2_armhf.deb | 365508 | 2024-Apr-02 02:14 |
libcvc4parser7_1.8-3build2_ppc64el.deb | 383402 | 2024-Apr-02 05:58 |
libcvc4parser7_1.8-3build2_riscv64.deb | 386766 | 2024-Apr-04 01:07 |
libcvc4parser7_1.8-3build2_s390x.deb | 417302 | 2024-Apr-02 11:03 |