Accepted cvc5 1.0.2-1 (source amd64) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cvc5 1.0.2-1 (source amd64) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 10 Dec 2022 19:00:13 +0000
- Debian: DAK
- Debian-architecture: source amd64
- Debian-archive-action: accept
- Debian-changes: cvc5_1.0.2-1_amd64.changes
- Debian-source: cvc5
- Debian-suite: unstable
- Debian-version: 1.0.2-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=0tn9MgvsZMwO09p2c8XMSY1ESVDAlHuvpl4Yd0VLrGc=; b=U8nq1bYIKUIHzQD/KQK9JzQKgO +ffvi1T/VfuA9V+UrK62bMKxVq85qaN2R7yvCyoBTP3Sof2iS+T4wo76tnouo1FcqPQ+rljrzutnU LDFPgUjiHOUnNW9278pLpJH43oPVJXx4xyZN+QMnZIvn/DKPEDehl6bke9Ieqe2xHA/M3adQIo8xf vDLVIhhHvq4dWJWsN8lUHeMmezehYQO/v7+runF11UvjaQqUi73VyCwysoHqg94OaukyHfcVJ87lU kNOXZNhNiqsoEF6V3wdiIcBYFPsva2dh0Yvd5GRkcQE93luhjWhh8Z7jdjt4N5ei7+u1YBFLiFwIP wyihJ6ew==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1p4553-004KtZ-IP@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----