-----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-----
