cvc5_1.0.2-2_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

-----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 at alioth-lists.debian.net>
Changed-By: Scott Talbert <swt at 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-----