Publishing details

• Published on 2020-10-26

Changelog

cvc-47-src (1.8.0-3.16.4) xenial; urgency=low

  * Initial release, automatically generated.

 -- Jens Elkner <email address hidden>  Tue, 27 Oct 2020 00:00:30 +0100

Builds

• amd64

Built packages

• cvc-47 SMT solver Cooperating Validity Checker (CVC4).

• cvc-dev-47 SMT solver Cooperating Validity Checker (CVC4) - development.

• cvc-libs-47 SMT solver Cooperating Validity Checker (CVC4).

Package files

• cvc-47-src_1.8.0-3.16.4.debian.tar.xz (12.3 KiB)
• cvc-47-src_1.8.0-3.16.4.dsc (1.6 KiB)
• cvc-47-src_1.8.0.orig.tar.gz (7.2 MiB)
• cvc-47_1.8.0-3.16.4_amd64.deb (61.1 KiB)
• cvc-dev-47_1.8.0-3.16.4_amd64.deb (107.3 KiB)
• cvc-libs-47_1.8.0-3.16.4_amd64.deb (5.4 MiB)