Publishing details

• Removal requested on 2021-12-22.
• Published on 2020-09-30
• Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
• Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

cvc4 (1.8-2) unstable; urgency=medium

  * Source-only reupload after the package has been through NEW.
  * Add patch 06-disable-tests.patch to disable several failing test
    cases that prevent the package from building on all release
    architectures it has previously been built on (see #970511).

 -- Fabian Wolff <email address hidden>  Thu, 17 Sep 2020 18:29:09 +0200

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Package files

• cvc4-dbgsym_1.8-2_amd64.ddeb (968.7 KiB)
• cvc4-dbgsym_1.8-2_arm64.ddeb (957.9 KiB)
• cvc4-dbgsym_1.8-2_armhf.ddeb (949.6 KiB)
• cvc4-dbgsym_1.8-2_ppc64el.ddeb (961.0 KiB)
• cvc4-dbgsym_1.8-2_riscv64.ddeb (823.4 KiB)
• cvc4-dbgsym_1.8-2_s390x.ddeb (957.2 KiB)
• cvc4_1.8-2.debian.tar.xz (16.1 KiB)
• cvc4_1.8-2.dsc (2.2 KiB)
• cvc4_1.8-2_amd64.deb (71.6 KiB)
• cvc4_1.8-2_arm64.deb (66.2 KiB)
• cvc4_1.8-2_armhf.deb (65.8 KiB)
• cvc4_1.8-2_ppc64el.deb (69.8 KiB)
• cvc4_1.8-2_riscv64.deb (67.5 KiB)
• cvc4_1.8-2_s390x.deb (66.8 KiB)
• cvc4_1.8.orig.tar.gz (7.2 MiB)
• libcvc4-7-dbgsym_1.8-2_amd64.ddeb (177.9 MiB)
• libcvc4-7-dbgsym_1.8-2_arm64.ddeb (174.8 MiB)
• libcvc4-7-dbgsym_1.8-2_armhf.ddeb (172.0 MiB)
• libcvc4-7-dbgsym_1.8-2_ppc64el.ddeb (178.3 MiB)
• libcvc4-7-dbgsym_1.8-2_riscv64.ddeb (140.3 MiB)
• libcvc4-7-dbgsym_1.8-2_s390x.ddeb (185.9 MiB)
• libcvc4-7_1.8-2_amd64.deb (5.4 MiB)
• libcvc4-7_1.8-2_arm64.deb (4.6 MiB)
• libcvc4-7_1.8-2_armhf.deb (4.8 MiB)
• libcvc4-7_1.8-2_ppc64el.deb (5.1 MiB)
• libcvc4-7_1.8-2_riscv64.deb (5.2 MiB)
• libcvc4-7_1.8-2_s390x.deb (5.2 MiB)
• libcvc4-dev_1.8-2_amd64.deb (120.3 KiB)
• libcvc4-dev_1.8-2_arm64.deb (120.3 KiB)
• libcvc4-dev_1.8-2_armhf.deb (120.3 KiB)
• libcvc4-dev_1.8-2_ppc64el.deb (120.3 KiB)
• libcvc4-dev_1.8-2_riscv64.deb (120.3 KiB)
• libcvc4-dev_1.8-2_s390x.deb (120.3 KiB)
• libcvc4parser7-dbgsym_1.8-2_amd64.ddeb (4.9 MiB)
• libcvc4parser7-dbgsym_1.8-2_arm64.ddeb (4.8 MiB)
• libcvc4parser7-dbgsym_1.8-2_armhf.ddeb (4.8 MiB)
• libcvc4parser7-dbgsym_1.8-2_ppc64el.ddeb (4.9 MiB)
• libcvc4parser7-dbgsym_1.8-2_riscv64.ddeb (3.8 MiB)
• libcvc4parser7-dbgsym_1.8-2_s390x.ddeb (5.0 MiB)
• libcvc4parser7_1.8-2_amd64.deb (349.1 KiB)
• libcvc4parser7_1.8-2_arm64.deb (311.2 KiB)
• libcvc4parser7_1.8-2_armhf.deb (311.5 KiB)
• libcvc4parser7_1.8-2_ppc64el.deb (338.0 KiB)
• libcvc4parser7_1.8-2_riscv64.deb (331.8 KiB)
• libcvc4parser7_1.8-2_s390x.deb (324.0 KiB)