-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 01 Dec 2022 18:44:45 -0500 Source: cvc5 Binary: cvc5 cvc5-dbgsym libcvc5-1 libcvc5-1-dbgsym libcvc5-dev libcvc5parser1 libcvc5parser1-dbgsym Architecture: source amd64 Version: 1.0.2-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net> 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: 0cc094d8deae8db79e7abb0058444c78c4c8273f 2305 cvc5_1.0.2-1.dsc 1c1aaa03d79184eaf05becdccc3a25c769e021ba 8259299 cvc5_1.0.2.orig.tar.gz b244aa7c16bc0d19b923d1b9875883317d0c167e 6324 cvc5_1.0.2-1.debian.tar.xz bb3c7e18964e34a60bcca998b3e6991fe0448e8c 2541500 cvc5-dbgsym_1.0.2-1_amd64.deb 989ea921ec1ea463954b63e69b158c579ea58bb6 10927 cvc5_1.0.2-1_amd64.buildinfo 2f8e8b28c4c21a355659191921f358f7475377f7 107640 cvc5_1.0.2-1_amd64.deb 2606299e831a8002bfc6194e4166b5261e3ab7fd 166708392 libcvc5-1-dbgsym_1.0.2-1_amd64.deb 5c0076b45c92a7ae05ea8cc4eb2c984789f75556 5849264 libcvc5-1_1.0.2-1_amd64.deb fef40bac32ca0047956dd277e16f70a9f55189b2 57800 libcvc5-dev_1.0.2-1_amd64.deb 64e4aa4bbcb79a85fe5f9fc8f1a070c58aa48a6c 4312100 libcvc5parser1-dbgsym_1.0.2-1_amd64.deb 6c0002dea8abf70bbe5e4417e9200055b7c1a737 263584 libcvc5parser1_1.0.2-1_amd64.deb Checksums-Sha256: ddb55f73444a8ec5c9a5fa135acab9ab26b8c72252b5e27fe8ea2fa5a055bf3f 2305 cvc5_1.0.2-1.dsc cde2bcacf90cd70dfd9cb2e8aea542188864841c6e652b7bae9dfb39adc04cf8 8259299 cvc5_1.0.2.orig.tar.gz 1106a633f0257d1dcb60cad957afc1d3b8e4b83a8019ef12e1b06fe5650abb65 6324 cvc5_1.0.2-1.debian.tar.xz 7fa70f4bf4950c7d22e02e9884d871cd10254177500ec6ea9126d479f3d177f9 2541500 cvc5-dbgsym_1.0.2-1_amd64.deb 9b43ca4adb4a443f4d638f46702a4d5bc9b2c52a8affe3751bf5c068f1668d91 10927 cvc5_1.0.2-1_amd64.buildinfo f3a07f0552350441c4c89f3ec1f7c3302104421ec48d623310392bdc002a5fa2 107640 cvc5_1.0.2-1_amd64.deb d9ad3b163e226b46b59bed70cde5b17be53582821cee3e61be38c70838cbc4ee 166708392 libcvc5-1-dbgsym_1.0.2-1_amd64.deb acc27c75704a9c939b3a575a45b01d79dd0bf21d24feb556cc39b4a5dffb1142 5849264 libcvc5-1_1.0.2-1_amd64.deb 69d5d139daa2cbc82cd4040c2b71449f2165eb964f160aba21051efed62b5716 57800 libcvc5-dev_1.0.2-1_amd64.deb 3d30b915d51b0d1835b9debc55b8ae7adb59b11e833d85e62016bb6953bddf7b 4312100 libcvc5parser1-dbgsym_1.0.2-1_amd64.deb d0c54640ecacb74c8d635c4f1880f282aec61c5b57d8aa91c588d484d73a5aa8 263584 libcvc5parser1_1.0.2-1_amd64.deb Files: 73a3c787afb83364b1faa31dbd8bb69d 2305 math optional cvc5_1.0.2-1.dsc 10ae2c7b00fe733f8a367fa6f5dfb614 8259299 math optional cvc5_1.0.2.orig.tar.gz b7864c54cec0a76a8a5379db6ca76c3c 6324 math optional cvc5_1.0.2-1.debian.tar.xz 6e74128a3ebf44fad6098f9bc8d020a4 2541500 debug optional cvc5-dbgsym_1.0.2-1_amd64.deb dfd3bde5114fca261be46288693b1286 10927 math optional cvc5_1.0.2-1_amd64.buildinfo d22bb5f341aa14c1e88c512c1aab7c16 107640 math optional cvc5_1.0.2-1_amd64.deb d6c2e5d45b0917bf81fe5006c49210ae 166708392 debug optional libcvc5-1-dbgsym_1.0.2-1_amd64.deb c78a47ecf81cf98554f6d71b9551634c 5849264 libs optional libcvc5-1_1.0.2-1_amd64.deb 296873d3db72bbcb1235ff5d61f8df20 57800 libdevel optional libcvc5-dev_1.0.2-1_amd64.deb 0961fdb4a148c66b31950dff9f7dcf1e 4312100 debug optional libcvc5parser1-dbgsym_1.0.2-1_amd64.deb 1928011c23dedc986e4fc78ea99194c1 263584 libs optional libcvc5parser1_1.0.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmOJUZsPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiX4QP/A4ZEnJpTnwHUwp2rogchIAASrLDhDAMT4bD MHsPctgzdUsLbiOfdQh6o8LyXMl+RvMiKdhQ7bIMRhXle5tkYiB3eBShEviXSt8B 2J/irsTuKr0cy/qtKOnSbm7jjJKL8i5rDo4LFyxNaFUbWhUelpZMGOfWMqasctKe 2nKxnILkP6Zdpy9T0tptb4zvEG39AzJXUcZ9q9YVyYUtVSASsaTtgrEowo/Spw7O AjKlGybDcmTgniyzqDe9QkgaM//xFfn/XNYBFkDZCdWd9pumwZFZQTi/V/qYINbo 8GsKOrXG0+KM2C6viRF2Gj+btEWuA1sOQ4k/NF6pqVDY4qiFpJf3hz2mrBduvjVx PxCPwYC7W3g87N2BPMWOl++Jol9QtPkuJK6a5YwryLw1dVrPZDM0FXP1u4rNwkMB voS1vvfVLfUT3FPsPppFsZxOVha+Nw6KEc29f/4gqTel/4Ix+CxEgJTwGx7yTxod 8YEMSt8N/DIzSRR3DC3XeH8xEFdC+5NEVcM2UIhXc51XU4CzwijB41MbxeRWXHdi rbEwrWJLD8SP+QqglVmV3XcqE+lmdwRXOSo+N2KbHalGYxP2hrPleR/8XMIJlVuz xUCl5xYqSoNNEUdQZU3DzpASOjvwSyZTRyR+RBLgvWBJvpwwmJ+3ciw/7t4C+cRY wjK94DkZ =qqm/ -----END PGP SIGNATURE-----
