berkeley-abc_1.01+20220610git8eb651c+dfsg-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 18 Jun 2022 22:58:23 +0200
Source: berkeley-abc
Binary: berkeley-abc berkeley-abc-dbgsym
Architecture: source amd64
Version: 1.01+20220610git8eb651c+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Daniel Gröber <dxld at darkboxed.org>
Description:
 berkeley-abc - ABC - A System for Sequential Synthesis and Verification
Changes:
 berkeley-abc (1.01+20220610git8eb651c+dfsg-1) unstable; urgency=medium
 .
   * Team upload.
 .
   * New upstream version 1.01+20220610git8eb651c+dfsg
Checksums-Sha1:
 ed05149e88a04a781fbeb6086b9883b22d9574e0 2219 berkeley-abc_1.01+20220610git8eb651c+dfsg-1.dsc
 6f98874c9ae1ef3108aa1e6784a016958ff2e5b4 3852776 berkeley-abc_1.01+20220610git8eb651c+dfsg.orig.tar.xz
 5d0ea43d1ae0474582ecaee24d78035f0c9cb74c 14204 berkeley-abc_1.01+20220610git8eb651c+dfsg-1.debian.tar.xz
 d4336cee20c8c09da0fae9e86edc721ceffe98ab 26114292 berkeley-abc-dbgsym_1.01+20220610git8eb651c+dfsg-1_amd64.deb
 562b721099567c9b7ce80ddfbbbc13d67c993c4b 7107 berkeley-abc_1.01+20220610git8eb651c+dfsg-1_amd64.buildinfo
 f729cdd5765d34661bd3b0981ce1a44ff5279905 5545664 berkeley-abc_1.01+20220610git8eb651c+dfsg-1_amd64.deb
Checksums-Sha256:
 fc9eb8ceefbdcc750869187336ed95528634d910c8479d61a048a5b9268b9107 2219 berkeley-abc_1.01+20220610git8eb651c+dfsg-1.dsc
 2943c3063efece052b47dcacd9208cf02214c33e190b7df6e712dca04d2ef9d1 3852776 berkeley-abc_1.01+20220610git8eb651c+dfsg.orig.tar.xz
 a668a80ed54634038c23a0f352480bd8e935f72d30dd353667401d71e70a9287 14204 berkeley-abc_1.01+20220610git8eb651c+dfsg-1.debian.tar.xz
 f2dc544f4dde433110394b48b504db87f9b7dd7f798dd41ecce433e99f541e39 26114292 berkeley-abc-dbgsym_1.01+20220610git8eb651c+dfsg-1_amd64.deb
 ec93f6ab820e14a81ef4c6d6d8aa22778467021d03171ba3c3232388ce09fb8f 7107 berkeley-abc_1.01+20220610git8eb651c+dfsg-1_amd64.buildinfo
 1b6e7fa85738d68f0db0467c98d6aebbfd3fee077d82abecf09bd92417248503 5545664 berkeley-abc_1.01+20220610git8eb651c+dfsg-1_amd64.deb
Files:
 5cec650dfa81876dd9c8c8e1dd54f15e 2219 electronics optional berkeley-abc_1.01+20220610git8eb651c+dfsg-1.dsc
 17b58153539a9f1521a3f8c2c3f2c8cf 3852776 electronics optional berkeley-abc_1.01+20220610git8eb651c+dfsg.orig.tar.xz
 b895656f14b54241a84af93589c01baa 14204 electronics optional berkeley-abc_1.01+20220610git8eb651c+dfsg-1.debian.tar.xz
 41528481ab4d912cb6043a0e3da24104 26114292 debug optional berkeley-abc-dbgsym_1.01+20220610git8eb651c+dfsg-1_amd64.deb
 6e6a373993b01b9a255d2431de5f7880 7107 electronics optional berkeley-abc_1.01+20220610git8eb651c+dfsg-1_amd64.buildinfo
 b7eb1610ac77ae76ac354e6d64191d9c 5545664 electronics optional berkeley-abc_1.01+20220610git8eb651c+dfsg-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEE3z4uQkp+J5wuSwI6ucKa7rL0UKcFAmK+pucACgkQucKa7rL0
UKckCRAAj0iGlblpJKMUf/nmkCAR7PA30ci7Hlu1vzi0U30g7TxZKr2z5xpNfgTo
iRBTnQG2HklKL0N8U3h/MRrS5EPiFRbNbDcIhj5dJ9SlGVd2PoGLjgMzw3RXDuVd
kvLjeeG5n5uifqcy+IcEhUHfP/K6qv2Zj5jWEX0FlTfESVyaOSA+SG2WhhgVP9t8
ml/NDrPJJhmXv1MKNLe/U/LPnkGnAB7O8E9wNws3BWCdUT2RIOlBUAKAVjyAZ/XD
2cXfSkMfijxQxrEO84DeTFn1QjQRWYmnOUs1g/teFyKvordyE5nurESZgkk24Wm3
7Qnmfe3S3fg4BOmuNSOFZJ/XyLIlNvn73cEB4f6U2JaMDZPJ1udBPIJ9wdF7MEUg
DFLvvpjslpYZ19QhIE9F02DAnC8kzWX91js+ej0Gqz1lIPFbbryowlT6Y4w9xz96
4z7xyG1rkvkNa5R4eqqx6ccN4FOpZ6B6ezohUn6aJ2HFF9yJwvaadX1LjB94pp4D
VZpTY2GPiZBzjuQDjz1CU9gXnfJhK/DdRyW2mURdYDTRTiq9UmjKIEZ/Oac6kHN5
dQoJyEZ+18wrdnMJBdIyiw9R2KCAAVHF/X5PIHghM+Kf/ICD9vxO4V524T3iWrhs
u/snYDr4JuGNpQquUkPXIFvErGqDbXFwd5wahnFHMoNWEGxJBfg=
=ikaK
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.