Publishing details

• Published on 2024-03-25

Changelog

cvc5 (1.1.2-ok1) nile; urgency=medium

  * Build for openKylin.

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

Builds

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

Built packages

• cvc5 automated theorem prover for SMT problems

• libcvc5-1 automated theorem prover for SMT problems (runtime)

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

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

• python3-cvc5 automated theorem prover for SMT problems (Python bindings)

Package files

• cvc5_1.1.2-ok1.debian.tar.xz (6.0 KiB)
• cvc5_1.1.2-ok1.dsc (2.2 KiB)
• cvc5_1.1.2-ok1_amd64.deb (78.3 KiB)
• cvc5_1.1.2-ok1_arm64.deb (70.2 KiB)
• cvc5_1.1.2-ok1_loong64.deb (97.2 KiB)
• cvc5_1.1.2-ok1_riscv64.deb (88.8 KiB)
• cvc5_1.1.2.orig.tar.gz (8.2 MiB)
• libcvc5-1_1.1.2-ok1_amd64.deb (4.4 MiB)
• libcvc5-1_1.1.2-ok1_arm64.deb (3.7 MiB)
• libcvc5-1_1.1.2-ok1_loong64.deb (5.3 MiB)
• libcvc5-1_1.1.2-ok1_riscv64.deb (6.0 MiB)
• libcvc5-dev_1.1.2-ok1_amd64.deb (80.9 KiB)
• libcvc5-dev_1.1.2-ok1_arm64.deb (80.9 KiB)
• libcvc5-dev_1.1.2-ok1_loong64.deb (90.2 KiB)
• libcvc5-dev_1.1.2-ok1_riscv64.deb (80.9 KiB)
• libcvc5parser1_1.1.2-ok1_amd64.deb (183.4 KiB)
• libcvc5parser1_1.1.2-ok1_arm64.deb (159.3 KiB)
• libcvc5parser1_1.1.2-ok1_loong64.deb (205.3 KiB)
• libcvc5parser1_1.1.2-ok1_riscv64.deb (197.6 KiB)
• python3-cvc5_1.1.2-ok1_amd64.deb (317.6 KiB)
• python3-cvc5_1.1.2-ok1_arm64.deb (278.5 KiB)
• python3-cvc5_1.1.2-ok1_loong64.deb (287.6 KiB)
• python3-cvc5_1.1.2-ok1_riscv64.deb (292.8 KiB)