Format: 1.8
Date: Thu, 01 Dec 2022 18:44:45 -0500
Source: cvc5
Binary: cvc5 libcvc5-1 libcvc5-dev libcvc5parser1
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 1.0.2-1
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@riscv64-qemu-lgw01-074.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)
Closes: 1007981
Changes:
 cvc5 (1.0.2-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1007981)
Checksums-Sha1:
 8f587b8b54b189fb918c1bc9a383a730c1df9f51 1687724 cvc5-dbgsym_1.0.2-1_riscv64.ddeb
 3cf02c2cddd265c020c48cad414fe1069e5fd4a2 10318 cvc5_1.0.2-1_riscv64.buildinfo
 c31f31dc1e3f1421c2003c0a4e056ea2d817c212 103416 cvc5_1.0.2-1_riscv64.deb
 b3e5f970c72231b7c6de6bfaddffa4249460d31a 139387436 libcvc5-1-dbgsym_1.0.2-1_riscv64.ddeb
 36f3208e507df67445901bcc6c5f923699e819d5 6573788 libcvc5-1_1.0.2-1_riscv64.deb
 f7e38a634caad7156326051475431105a2346868 52610 libcvc5-dev_1.0.2-1_riscv64.deb
 5909579ac06368c1685be093e79c9e7568b400c1 3289736 libcvc5parser1-dbgsym_1.0.2-1_riscv64.ddeb
 05e4060a324accc875a21705254959577c4f0720 271868 libcvc5parser1_1.0.2-1_riscv64.deb
Checksums-Sha256:
 87f2ce8bae4685749a49af4fa207643190fdc86c10b1354d5bd766be50802d8f 1687724 cvc5-dbgsym_1.0.2-1_riscv64.ddeb
 53892128be9da38537da8d2dfb0f7b05c89c0e032162997b450876815b15e25d 10318 cvc5_1.0.2-1_riscv64.buildinfo
 0f57e718996ea337bef73c73e73f1b106bfa6ca43ada97c0f6961ba94861d369 103416 cvc5_1.0.2-1_riscv64.deb
 ea24041372c28b7378e2b1b7508e6f49d1e1a8ce7ffad7c4900addde4e9cb580 139387436 libcvc5-1-dbgsym_1.0.2-1_riscv64.ddeb
 d027f69fd801819879f75a4031d5233895f207cca2803c7e785bb5813fee324c 6573788 libcvc5-1_1.0.2-1_riscv64.deb
 276b40c3db6f9ad34694ff01969716f5b8316ac8bf0797c8f0e42049d69cc842 52610 libcvc5-dev_1.0.2-1_riscv64.deb
 fb203ccd3595b9c4ddc1a9b33107048701dd86e78778087d95fac215a3efe66b 3289736 libcvc5parser1-dbgsym_1.0.2-1_riscv64.ddeb
 dc6b8d5b0639c362e6dc978b631804a3081e1ca9c4107cd81f7fa409ab3230c5 271868 libcvc5parser1_1.0.2-1_riscv64.deb
Files:
 c8c823330e13835c325b96abc2d5c4a3 1687724 debug optional cvc5-dbgsym_1.0.2-1_riscv64.ddeb
 f401462933db906eae1ea278ff956617 10318 math optional cvc5_1.0.2-1_riscv64.buildinfo
 77b0edfb68c640e39be9034bc1de1983 103416 math optional cvc5_1.0.2-1_riscv64.deb
 9b49546661cb1b3f64b5c42a653b82a6 139387436 debug optional libcvc5-1-dbgsym_1.0.2-1_riscv64.ddeb
 27cc5d1c92cea996fd3a325a347e178b 6573788 libs optional libcvc5-1_1.0.2-1_riscv64.deb
 fcb2c19f1791718b4cc3b4b5a2024e3f 52610 libdevel optional libcvc5-dev_1.0.2-1_riscv64.deb
 958912d244e25ad0b65eb2eca841f2a4 3289736 debug optional libcvc5parser1-dbgsym_1.0.2-1_riscv64.ddeb
 94268ae8d4922c48f12da74032a96249 271868 libs optional libcvc5parser1_1.0.2-1_riscv64.deb