Accepted berkeley-abc 1.01+20220610git8eb651c+dfsg-1 (source amd64) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted berkeley-abc 1.01+20220610git8eb651c+dfsg-1 (source amd64) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 01 Jul 2022 08:39:50 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=ebbPBfH0L2SoePOhnU3G8R81XRm5d1XzEHampGbYIZI=; b=qSbYrkuM7aaJq2AsI0UyjMArLL WCRuhlN230G+A66LgE+aLY/Rj+K95SRIb6g0Z048sHKxQuDTvAl1UgKtpxfkTgk8RGzWrsC0DiRv3 0xNFVYAP3NJmsITcPOkmnj9fhaR+V/kxZ5AYGd1P2jerlccD1dtmZjkcFjwSZ0iRRuAnXMyhIXNtl hfKmLqHkJftXP/miGplylibBSaAvZoBuh5OM6+HWMBxo84+C08RqUFUqXZvh7GnjIiuOSkJBLbUsV Fi6tN5zVTovYw3b65IB+yWtD/ubQrY+hsEqf0fo5vsp02Tyw/eTaPcCEhYMM9kDH/o5kephNu28FL 6ra5OocQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o7CBq-000BNk-BX@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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@lists.alioth.debian.org>
Changed-By: Daniel Gröber <dxld@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-----