Index of /ubuntu-ports/pool/universe/c/cvc4/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.5.orig.tar.gz7.6 MiB2017-Nov-01 22:57
cvc4_1.6.orig.tar.gz7.5 MiB2018-Aug-12 14:13
cvc4_1.8.orig.tar.gz7.2 MiB2020-Oct-01 00:43
libcvc4-7_1.8-3build2_riscv64.deb6.4 MiB2024-Apr-04 10:07
libcvc4-7_1.8-3_riscv64.deb6.2 MiB2022-Nov-06 19:49
libcvc4-7_1.8-3build2_armhf.deb5.9 MiB2024-Apr-02 11:14
libcvc4-7_1.8-3_armhf.deb5.8 MiB2022-Nov-06 14:42
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-2_ppc64el.deb5.1 MiB2020-Oct-01 00:58
libcvc4-7_1.8-2_armhf.deb4.8 MiB2020-Oct-01 02:43
libcvc4-7_1.8-3build2_s390x.deb4.8 MiB2024-Apr-02 20:03
libcvc4-7_1.8-2_arm64.deb4.6 MiB2020-Oct-01 01:43
libcvc4-7_1.8-3build2_ppc64el.deb4.5 MiB2024-Apr-02 14:58
libcvc4-7_1.8-3_ppc64el.deb4.5 MiB2022-Nov-06 14:43
libcvc4-7_1.8-3_s390x.deb4.3 MiB2022-Nov-06 14:44
libcvc4-7_1.8-3build2_arm64.deb4.1 MiB2024-Apr-02 10:07
libcvc4-7_1.8-3_arm64.deb4.1 MiB2022-Nov-06 15:20
libcvc4parser7_1.8-3build2_s390x.deb407.5 KiB2024-Apr-02 20:03
libcvc4parser7_1.8-3build2_riscv64.deb377.7 KiB2024-Apr-04 10:07
libcvc4parser7_1.8-3_ppc64el.deb376.9 KiB2022-Nov-06 14:43
libcvc4parser7_1.8-3build2_ppc64el.deb374.4 KiB2024-Apr-02 14:58
libcvc4parser7_1.8-3_riscv64.deb366.3 KiB2022-Nov-06 19:49
libcvc4parser7_1.8-3_armhf.deb359.5 KiB2022-Nov-06 14:42
libcvc4parser7_1.8-3build2_armhf.deb356.9 KiB2024-Apr-02 11:14
libcvc4parser7_1.8-3_arm64.deb347.4 KiB2022-Nov-06 15:20
libcvc4parser7_1.8-3build2_arm64.deb345.3 KiB2024-Apr-02 10:07
libcvc4parser7_1.8-3_s390x.deb342.2 KiB2022-Nov-06 14:44
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-2_armhf.deb311.5 KiB2020-Oct-01 02:43
libcvc4parser7_1.8-2_arm64.deb311.2 KiB2020-Oct-01 01:43
libcvc4-dev_1.8-3build2_ppc64el.deb122.3 KiB2024-Apr-02 14:58
libcvc4-dev_1.8-3build2_armhf.deb122.3 KiB2024-Apr-02 11:14
libcvc4-dev_1.8-3build2_s390x.deb122.3 KiB2024-Apr-02 20:03
libcvc4-dev_1.8-3build2_riscv64.deb122.3 KiB2024-Apr-04 10:07
libcvc4-dev_1.8-3build2_arm64.deb122.3 KiB2024-Apr-02 10:07
libcvc4-dev_1.8-3_ppc64el.deb122.3 KiB2022-Nov-06 14:43
libcvc4-dev_1.8-3_arm64.deb122.3 KiB2022-Nov-06 15:20
libcvc4-dev_1.8-3_armhf.deb122.3 KiB2022-Nov-06 14:42
libcvc4-dev_1.8-3_riscv64.deb122.3 KiB2022-Nov-06 19:49
libcvc4-dev_1.8-3_s390x.deb122.3 KiB2022-Nov-06 14:44
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-2_arm64.deb120.3 KiB2020-Oct-01 01:43
libcvc4-dev_1.8-2_armhf.deb120.3 KiB2020-Oct-01 02:43
cvc4_1.8-3build2_riscv64.deb75.3 KiB2024-Apr-04 10:07
cvc4_1.8-3build2_ppc64el.deb74.8 KiB2024-Apr-02 14:58
cvc4_1.8-3build2_s390x.deb74.5 KiB2024-Apr-02 20:03
cvc4_1.8-3_ppc64el.deb74.2 KiB2022-Nov-06 14:43
cvc4_1.8-3build2_armhf.deb72.1 KiB2024-Apr-02 11:14
cvc4_1.8-3_riscv64.deb71.9 KiB2022-Nov-06 19:49
cvc4_1.8-3_armhf.deb71.1 KiB2022-Nov-06 14:42
cvc4_1.8-3_s390x.deb70.1 KiB2022-Nov-06 14:44
cvc4_1.8-3build2_arm64.deb69.9 KiB2024-Apr-02 10:07
cvc4_1.8-2_ppc64el.deb69.8 KiB2020-Oct-01 00:58
cvc4_1.8-3_arm64.deb69.5 KiB2022-Nov-06 15:20
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-2_arm64.deb66.2 KiB2020-Oct-01 01:43
cvc4_1.8-2_armhf.deb65.8 KiB2020-Oct-01 02:43
cvc4_1.8-3build2.debian.tar.xz16.5 KiB2024-Apr-01 03:36
cvc4_1.8-3.debian.tar.xz16.3 KiB2022-Nov-06 12:17
cvc4_1.8-2.debian.tar.xz16.1 KiB2020-Oct-01 00:43
cvc4_1.6-2build2.debian.tar.xz8.2 KiB2020-Feb-04 07:24
cvc4_1.5-1.debian.tar.xz5.9 KiB2017-Nov-01 22:57
cvc4_1.6-2build2.dsc2.7 KiB2020-Feb-04 07:24
cvc4_1.8-3build2.dsc2.3 KiB2024-Apr-01 03:36
cvc4_1.8-2.dsc2.2 KiB2020-Oct-01 00:43
cvc4_1.8-3.dsc2.2 KiB2022-Nov-06 12:17
cvc4_1.5-1.dsc2.2 KiB2017-Nov-01 22:57