Format: 1.8
Date: Mon, 19 Dec 2022 20:35:50 -0500
Source: cvc5
Binary: cvc5 libcvc5-1 libcvc5-dev libcvc5parser1
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 1.0.3-1
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@riscv64-qemu-lgw01-021.buildd>
Changed-By: Scott Talbert <swt@techie.net>
Description:
 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)
Changes:
 cvc5 (1.0.3-1) unstable; urgency=medium
 .
   * Update to new upstream release 1.0.3
   * Update missing shared library patch
Checksums-Sha1:
 2f02613192ea409730a2ce2cfd953f7125998be7 1678292 cvc5-dbgsym_1.0.3-1_riscv64.ddeb
 c37af6dc4654f2de1795d79f92fd6ba387e02b23 10422 cvc5_1.0.3-1_riscv64.buildinfo
 77359161d29c2d45625c898c2a5484520228fe1c 103508 cvc5_1.0.3-1_riscv64.deb
 3701ef4521dc245a9ee5b42aa478d5bb162f2837 141910702 libcvc5-1-dbgsym_1.0.3-1_riscv64.ddeb
 44853703c55a9d839a6d458f72a79b6572edc645 6581766 libcvc5-1_1.0.3-1_riscv64.deb
 5a6c10a29a96db35d23b85e037aeee37073bb290 52766 libcvc5-dev_1.0.3-1_riscv64.deb
 8a106a548fbf36e22c901623abbfa32a07eb207d 3874882 libcvc5parser1-dbgsym_1.0.3-1_riscv64.ddeb
 2c20b5655e4b5704e8d5673abb150e54baea1791 314300 libcvc5parser1_1.0.3-1_riscv64.deb
Checksums-Sha256:
 62c52b6c9fc3479ea43707c5d74550ac64629d9a5972d01313592dd8bbfd91a2 1678292 cvc5-dbgsym_1.0.3-1_riscv64.ddeb
 27a355d3e7318c58ef97887edb92a89461518338af49cee41c6cf0429f0cc93c 10422 cvc5_1.0.3-1_riscv64.buildinfo
 b4767eddce71b22dc8239efc66de71e14fca0c84ad32d3613bf72d59b9fe6d68 103508 cvc5_1.0.3-1_riscv64.deb
 ee58a9a210ab237c88e532367fc4a03b8195827eaf2ae258a87a354cd897b98b 141910702 libcvc5-1-dbgsym_1.0.3-1_riscv64.ddeb
 ec2a9f0df7d417a9a52d8e662a161018174546edd629afa93987a5832a00a99c 6581766 libcvc5-1_1.0.3-1_riscv64.deb
 b4723d502344e4ac2bd4cbc09a3a09284f1df565dfd4e577093b6f02c67fc6e6 52766 libcvc5-dev_1.0.3-1_riscv64.deb
 9ba48306ecd561714bd0077beeef92caf20b50aac63b0fde653fbfd1f6756839 3874882 libcvc5parser1-dbgsym_1.0.3-1_riscv64.ddeb
 0e0c1cdc3756f799f9e85003f36bc97d75d8ab4f1ec3c113a09183559536b296 314300 libcvc5parser1_1.0.3-1_riscv64.deb
Files:
 ac8a20ab82c68953c219c513b85b1144 1678292 debug optional cvc5-dbgsym_1.0.3-1_riscv64.ddeb
 39e61a0b52f5587c8f3c01b8ece8c833 10422 math optional cvc5_1.0.3-1_riscv64.buildinfo
 441a594206b43f25eeda23b0738e2072 103508 math optional cvc5_1.0.3-1_riscv64.deb
 fde97ecde834cffbb817f3c29b9ac0ed 141910702 debug optional libcvc5-1-dbgsym_1.0.3-1_riscv64.ddeb
 b18671137144ce1b3cae5ae95017ce37 6581766 libs optional libcvc5-1_1.0.3-1_riscv64.deb
 c4f83907e39e827413572f3ed56758ae 52766 libdevel optional libcvc5-dev_1.0.3-1_riscv64.deb
 bd7bc37823b7fac44e0830878d62e100 3874882 debug optional libcvc5parser1-dbgsym_1.0.3-1_riscv64.ddeb
 465199be8d3d47da94dfa128974a5fea 314300 libs optional libcvc5parser1_1.0.3-1_riscv64.deb