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