Publishing details

• Published on 2024-03-25

Changelog

cvc4 (1.8-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Mar 2024 23:18:59 +0800

Builds

• amd64
• arm64
• i386
• loong64
• riscv64
• rv64g

Built packages

• cvc4 automated theorem prover for SMT problems

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

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

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

Package files

• cvc4_1.8-ok1.debian.tar.xz (15.5 KiB)
• cvc4_1.8-ok1.dsc (2.0 KiB)
• cvc4_1.8-ok1_amd64.deb (66.6 KiB)
• cvc4_1.8-ok1_arm64.deb (62.2 KiB)
• cvc4_1.8-ok1_loong64.deb (75.4 KiB)
• cvc4_1.8-ok1_riscv64.deb (73.2 KiB)
• cvc4_1.8.orig.tar.gz (7.2 MiB)
• libcvc4-7_1.8-ok1_amd64.deb (4.1 MiB)
• libcvc4-7_1.8-ok1_arm64.deb (3.5 MiB)
• libcvc4-7_1.8-ok1_loong64.deb (5.1 MiB)
• libcvc4-7_1.8-ok1_riscv64.deb (6.1 MiB)
• libcvc4-dev_1.8-ok1_amd64.deb (120.3 KiB)
• libcvc4-dev_1.8-ok1_arm64.deb (120.3 KiB)
• libcvc4-dev_1.8-ok1_loong64.deb (127.2 KiB)
• libcvc4-dev_1.8-ok1_riscv64.deb (122.2 KiB)
• libcvc4parser7_1.8-ok1_amd64.deb (331.8 KiB)
• libcvc4parser7_1.8-ok1_arm64.deb (289.8 KiB)
• libcvc4parser7_1.8-ok1_loong64.deb (323.5 KiB)
• libcvc4parser7_1.8-ok1_riscv64.deb (365.2 KiB)