Publishing details

• Removed from disk on 2019-01-16.
• Removal requested on 2019-01-15.
• Superseded on 2019-01-14 by cvc4 - 1.6-2build1
• Published on 2018-10-30
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Adam Conrad

Changelog

cvc4 (1.6-2) unstable; urgency=medium

  * Add python3 to Build-Depends.
  * Update Maintainer email address.

 -- Fabian Wolff <email address hidden>  Sun, 12 Aug 2018 15:00:46 +0200

Builds

Package files

• cvc4-dbgsym_1.6-2_amd64.ddeb (3.4 MiB)
• cvc4-dbgsym_1.6-2_i386.ddeb (3.3 MiB)
• cvc4_1.6-2.debian.tar.xz (8.0 KiB)
• cvc4_1.6-2.dsc (2.6 KiB)
• cvc4_1.6-2_amd64.deb (131.0 KiB)
• cvc4_1.6-2_i386.deb (133.6 KiB)
• cvc4_1.6.orig.tar.gz (7.5 MiB)
• libcvc4-5-dbgsym_1.6-2_amd64.ddeb (144.7 MiB)
• libcvc4-5-dbgsym_1.6-2_i386.ddeb (141.0 MiB)
• libcvc4-5_1.6-2_amd64.deb (3.9 MiB)
• libcvc4-5_1.6-2_i386.deb (4.3 MiB)
• libcvc4-dev_1.6-2_amd64.deb (6.4 MiB)
• libcvc4-dev_1.6-2_i386.deb (6.9 MiB)
• libcvc4parser5-dbgsym_1.6-2_amd64.ddeb (5.9 MiB)
• libcvc4parser5-dbgsym_1.6-2_i386.ddeb (5.7 MiB)
• libcvc4parser5_1.6-2_amd64.deb (349.3 KiB)
• libcvc4parser5_1.6-2_i386.deb (376.8 KiB)