File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.5.orig.tar.gz7.6 MiB2017-Nov-01 14:57
cvc4_1.5-1.dsc2.2 KiB2017-Nov-01 14:57
cvc4_1.5-1.debian.tar.xz5.9 KiB2017-Nov-01 14:57
cvc4_1.6.orig.tar.gz7.5 MiB2018-Aug-12 06:13
cvc4_1.6-2build2.dsc2.7 KiB2020-Feb-03 23:24
cvc4_1.6-2build2.debian.tar.xz8.2 KiB2020-Feb-03 23:24
cvc4_1.8.orig.tar.gz7.2 MiB2020-Sep-30 16:43
cvc4_1.8-2.dsc2.2 KiB2020-Sep-30 16:43
cvc4_1.8-2.debian.tar.xz16.1 KiB2020-Sep-30 16:43
cvc4_1.8-2_ppc64el.deb69.8 KiB2020-Sep-30 16:58
libcvc4-dev_1.8-2_ppc64el.deb120.3 KiB2020-Sep-30 16:58
libcvc4-dev_1.8-2_s390x.deb120.3 KiB2020-Sep-30 16:58
libcvc4parser7_1.8-2_ppc64el.deb338.0 KiB2020-Sep-30 16:58
libcvc4-7_1.8-2_ppc64el.deb5.1 MiB2020-Sep-30 16:58
libcvc4-7_1.8-2_s390x.deb5.2 MiB2020-Sep-30 16:58
cvc4_1.8-2_s390x.deb66.8 KiB2020-Sep-30 16:58
libcvc4parser7_1.8-2_s390x.deb324.0 KiB2020-Sep-30 16:58
cvc4_1.8-2_arm64.deb66.2 KiB2020-Sep-30 17:43
libcvc4parser7_1.8-2_arm64.deb311.2 KiB2020-Sep-30 17:43
libcvc4-7_1.8-2_arm64.deb4.6 MiB2020-Sep-30 17:43
libcvc4-dev_1.8-2_arm64.deb120.3 KiB2020-Sep-30 17:43
cvc4_1.8-2_armhf.deb65.8 KiB2020-Sep-30 18:43
libcvc4parser7_1.8-2_armhf.deb311.5 KiB2020-Sep-30 18:43
libcvc4-dev_1.8-2_armhf.deb120.3 KiB2020-Sep-30 18:43
libcvc4-7_1.8-2_armhf.deb4.8 MiB2020-Sep-30 18:43
cvc4_1.8-2_riscv64.deb67.5 KiB2020-Sep-30 20:03
libcvc4parser7_1.8-2_riscv64.deb331.8 KiB2020-Sep-30 20:03
libcvc4-7_1.8-2_riscv64.deb5.2 MiB2020-Sep-30 20:03
libcvc4-dev_1.8-2_riscv64.deb120.3 KiB2020-Sep-30 20:03
cvc4_1.8-3build2.debian.tar.xz16.5 KiB2024-Mar-31 19:36
cvc4_1.8-3build2.dsc2.3 KiB2024-Mar-31 19:36
cvc4_1.8-3build2_arm64.deb69.9 KiB2024-Apr-02 02:07
libcvc4-7_1.8-3build2_arm64.deb4.1 MiB2024-Apr-02 02:07
libcvc4-dev_1.8-3build2_arm64.deb122.3 KiB2024-Apr-02 02:07
libcvc4parser7_1.8-3build2_arm64.deb345.3 KiB2024-Apr-02 02:07
libcvc4-dev_1.8-3build2_armhf.deb122.3 KiB2024-Apr-02 03:14
libcvc4parser7_1.8-3build2_armhf.deb356.9 KiB2024-Apr-02 03:14
cvc4_1.8-3build2_armhf.deb72.1 KiB2024-Apr-02 03:14
libcvc4-7_1.8-3build2_armhf.deb5.9 MiB2024-Apr-02 03:14
libcvc4-dev_1.8-3build2_ppc64el.deb122.3 KiB2024-Apr-02 06:58
libcvc4parser7_1.8-3build2_ppc64el.deb374.4 KiB2024-Apr-02 06:58
cvc4_1.8-3build2_ppc64el.deb74.8 KiB2024-Apr-02 06:58
libcvc4-7_1.8-3build2_ppc64el.deb4.5 MiB2024-Apr-02 06:58
cvc4_1.8-3build2_s390x.deb74.5 KiB2024-Apr-02 12:03
libcvc4-7_1.8-3build2_s390x.deb4.8 MiB2024-Apr-02 12:03
libcvc4-dev_1.8-3build2_s390x.deb122.3 KiB2024-Apr-02 12:03
libcvc4parser7_1.8-3build2_s390x.deb407.5 KiB2024-Apr-02 12:03
libcvc4-dev_1.8-3build2_riscv64.deb122.3 KiB2024-Apr-04 02:07
libcvc4parser7_1.8-3build2_riscv64.deb377.7 KiB2024-Apr-04 02:07
cvc4_1.8-3build2_riscv64.deb75.3 KiB2024-Apr-04 02:07
libcvc4-7_1.8-3build2_riscv64.deb6.4 MiB2024-Apr-04 02:07
cvc4_1.8-5.dsc1.8 KiB2025-Oct-28 01:01
cvc4_1.8-5.debian.tar.xz17.2 KiB2025-Oct-28 01:01
libcvc4-7_1.8-5_arm64.deb4.3 MiB2025-Oct-28 07:36
libcvc4parser7_1.8-5_arm64.deb358.6 KiB2025-Oct-28 07:36
libcvc4-dev_1.8-5_arm64.deb122.3 KiB2025-Oct-28 07:36
cvc4_1.8-5_arm64.deb65.1 KiB2025-Oct-28 07:36
libcvc4-dev_1.8-5_armhf.deb122.3 KiB2025-Oct-28 07:47
libcvc4-7_1.8-5_armhf.deb6.0 MiB2025-Oct-28 07:47
libcvc4parser7_1.8-5_armhf.deb377.3 KiB2025-Oct-28 07:47
cvc4_1.8-5_armhf.deb70.3 KiB2025-Oct-28 07:47
libcvc4-7_1.8-5_ppc64el.deb4.6 MiB2025-Oct-28 08:01
libcvc4parser7_1.8-5_ppc64el.deb388.5 KiB2025-Oct-28 08:01
libcvc4-dev_1.8-5_ppc64el.deb122.3 KiB2025-Oct-28 08:01
cvc4_1.8-5_ppc64el.deb68.3 KiB2025-Oct-28 08:01
libcvc4parser7_1.8-5_s390x.deb421.5 KiB2025-Oct-28 08:07
libcvc4-dev_1.8-5_s390x.deb122.2 KiB2025-Oct-28 08:07
libcvc4-7_1.8-5_s390x.deb4.8 MiB2025-Oct-28 08:07
cvc4_1.8-5_s390x.deb68.5 KiB2025-Oct-28 08:07
libcvc4-dev_1.8-5_riscv64.deb122.3 KiB2025-Oct-29 00:13
cvc4_1.8-5_riscv64.deb74.3 KiB2025-Oct-29 00:13
libcvc4-7_1.8-5_riscv64.deb6.9 MiB2025-Oct-29 00:13
libcvc4parser7_1.8-5_riscv64.deb405.5 KiB2025-Oct-29 00:13