Accepted cvc5 1.0.2-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cvc5 1.0.2-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 19 Dec 2022 20:44:34 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cvc5_1.0.2-2_source.changes
- Debian-source: cvc5
- Debian-suite: unstable
- Debian-version: 1.0.2-2
- 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=zb5O1UWu8/BKFz1gjeFN/Atpe1GGvtggVMZN5SAjzHY=; b=Ka39VlbqL0UgTpErxeJvPqVhdQ CCf6IZE3HCcAD/BC4jJ6YG4clE0oN3+9NvmallX131+0MXg2asvIBQ450Z9TDoEztGq1LjdoS3UQ6 OSa/gwmvLl0rXXiT6CeL3vH8bplA51mRlJjfrqebXgk51T9VSnIAog3oE7aRLPXRcrRu/KEq7+Mti l8Q/30TNwzBa7C8xyK2T59umvPYW9WlmiZnd6cfV0ZFHElpX7modGwUWo5MddK2pOtNzRAksMV0OP nwGv5GF/iJoOkLTs2xSzHmAsANBAbWppz1TWb2NVUxdKK410JYVMq9/GJzadGp4eisMAQD7RzdBNm +pXn8V4g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1p7Mzy-000LBF-MC@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 17 Dec 2022 16:56:42 -0500
Source: cvc5
Architecture: source
Version: 1.0.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Scott Talbert <swt@techie.net>
Changes:
cvc5 (1.0.2-2) unstable; urgency=medium
.
* Fix autopkgtests
Checksums-Sha1:
b5003904aa0a6fe94a2cf2cd88b81517b78f3c4a 2305 cvc5_1.0.2-2.dsc
9eb9b8d0121d79cea69eb47e3272e4d584ee572a 6340 cvc5_1.0.2-2.debian.tar.xz
587fd40b60726c42b99e536887df198b951d19b3 9571 cvc5_1.0.2-2_source.buildinfo
Checksums-Sha256:
eb6d1d4cec6dadbba3977e7e06f1cb4b943c45b812baefe522dcb9854d7fb7ba 2305 cvc5_1.0.2-2.dsc
c922bb7763e66a4fc03b4f23b67828f394949613c3d3f7a0ad148b0bce997b67 6340 cvc5_1.0.2-2.debian.tar.xz
830e674447cee41db1a80a479ba8170465f7fee3e8d6999f5e2684f04f5dc573 9571 cvc5_1.0.2-2_source.buildinfo
Files:
029cfcff0efcd5d9d98e7c96473cc95d 2305 math optional cvc5_1.0.2-2.dsc
94bb5503edb203d4ba13c65fc246a025 6340 math optional cvc5_1.0.2-2.debian.tar.xz
a233408d2efd1803ad0a14fbcc05a221 9571 math optional cvc5_1.0.2-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmOeO5APHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiBDgQAJehAY7gkqwR7+qsBs0hn36akov5zJivgKy5
AGgA6Ubtrg3wQIvyXFfRjVW0YnN42YBXK2h0wSDTihVK+qR/zpzblNn9E/OlN7Jq
8Zanoza59c0Vn1uez6gLkd5K6DQqFtwpPfGV98B0t8Kg4hhUXP24pBPOWofYpB5R
kAf9dJR9KAJRmh0FwyP8CzI3zIyaQq5bIfhHRTnWggIypuIYbPD/h+l0TZkeqxmS
Gqfudr3pJl/KwLBBSn19YmIlz6h3RqKHrgxOj27k+VB+gBeQwNX2c40HzahN4z9t
RPTn0TR6MS8zgKtIHyLLQNKVCRpYUkG+XXTxNegcizqR/qplOMGNn9sQ3UwCmDzv
5wa4b83/o9g09qiRogFkEWHZWPFD1swk6fOxrFG71FBaCo1r8Qd65lM6VqP3Rp0q
zR/VfMgHS0oBjX3rZKfy6iYzqB+k6DEnQ95ALj+QEFoNPpMUMXBydCWUQbuu9cS6
0epEy64VVA8sWKG39K8yHroRXrkB08WlvW86kBX6cQeTvQNUL/mvrFjv1HMG7puL
bGeP/BKWzZxcVFgj/GPAbnUD5NDw124F/KkJROIPp515RZKMrapihZbKk6zDz7Dp
sRf1Go9grD0ReMlJ+yx4MzPORF6g64knYd4HzARbjucBxj8SVrLdEt/U7jWD7Rqe
n5kkYKRA
=kFZe
-----END PGP SIGNATURE-----