Publishing details

• Published on 2022-07-23
• Copied from openkylin yangtze in Primary Archive for openKylin by xiewei

Changelog

cvc4 (1.6-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Builds

• amd64

Built packages

• cvc4 automated theorem prover for SMT problems

• libcvc4-5 automated theorem prover for SMT problems (runtime)

• libcvc4-dev automated theorem prover for SMT problems (development files)

• libcvc4parser5 automated theorem prover for SMT problems (parser runtime)

Package files

• cvc4_1.6-ok1.debian.tar.xz (7.7 KiB)
• cvc4_1.6-ok1.dsc (2.5 KiB)
• cvc4_1.6-ok1_amd64.deb (135.0 KiB)
• cvc4_1.6.orig.tar.gz (7.5 MiB)
• libcvc4-5_1.6-ok1_amd64.deb (3.6 MiB)
• libcvc4-dev_1.6-ok1_amd64.deb (7.7 MiB)
• libcvc4parser5_1.6-ok1_amd64.deb (390.4 KiB)