[From nobody Thu Apr 16 16:51:07 2026 Received: (at 1133986-close) by bugs.debian.org; 16 Apr 2026 15:49:27 +0000 X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02 (2024-03-25) on buxtehude.debian.org X-Spam-Level: X-Spam-Status: No, score=-114.2 required=4.0 tests=ALL_TRUSTED,BAYES_00, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FVGT_m_MULTI_ODD, HAS_BUG_NUMBER,MD5_SHA1_SUM,PGPSIGNATURE,SPF_HELO_PASS,SPF_NONE, USER_IN_DKIM_WELCOMELIST autolearn=ham autolearn_force=no version=4.0.1-bugs.debian.org_2005_01_02 X-Spam-Bayes: score:0.0000 Tokens: new, 96; hammy, 150; neutral, 118; spammy, 0. spammytokens: hammytokens:0.000-+--HX-Debian:DAK, 0.000-+--H*rp:D*ftp-master.debian.org, 0.000-+--HX-DAK:process-upload, 0.000-+--UD:debian.tar.xz, 0.000-+--H*r:sk:fasolo. Return-path: <envelope@ftp-master.debian.org> Received: from mailly.debian.org ([2001:41b8:202:deb:6564:a62:52c3:4b72]:47646) by buxtehude.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.96) (envelope-from <envelope@ftp-master.debian.org>) id 1wDOy7-00BW5r-1t for 1133986-close@bugs.debian.org; Thu, 16 Apr 2026 15:49:27 +0000 Received: via submission from C=NA, ST=NA, L=Ankh Morpork, O=Debian SMTP, OU=Debian SMTP CA, CN=fasolo.debian.org, EMAIL=hostmaster@fasolo.debian.org (verified) by mailly.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.96) (envelope-from <envelope@ftp-master.debian.org>) id 1wDOy6-007lVp-0c for 1133986-close@bugs.debian.org; Thu, 16 Apr 2026 15:49:26 +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:Content-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=4xpPchDuzGogrCEdzPRue4wGKhyADMOSz/zH7pzwe/o=; b=PzGr3CFrqsFoJ4VZSp2Ti6AjTy Q/mdw21MDVf6BFdxmGrxic+Gp23wNB8x7kAjf9OkMy2+v1959CKathzGQVx1ht9XjuyhpCHHEYCxh Wa1iG5Pp8UnIzJWgJ1luZyELOz+SKowItV7OKSO1k/suAqF+CDfeLxoZn4a6DtE+bOK1M35JV2Q7i zHqmRXsmCge+WikjF8ScsWXWbuUaMYnRcwVzp8htLCQHjQNgpquNw9lTlE3U/HxfHxPSU63kvPzgO Hk93DmFSBDuiMoHsuH7ixegtBXJ6t2AfyX3AmYVHezZLCsehVbrrieJAdQ3ZUNXoD3AoBKtyopNmh eHRckGBA==; Received: from dak by fasolo.debian.org with local (Exim 4.98.2) (envelope-from <envelope@ftp-master.debian.org>) id 1wDOy4-00000008Dex-3WJ6; Thu, 16 Apr 2026 15:49:24 +0000 From: Debian FTP Masters <ftpmaster@ftp-master.debian.org> Reply-To: Petter Reinholdtsen <pere@debian.org> To: 1133986-close@bugs.debian.org X-DAK: dak process-upload X-Debian: DAK X-Debian-Package: yosys Debian: DAK Debian-Changes: yosys_0.52-4_source.changes Debian-Source: yosys Debian-Version: 0.52-4 Debian-Architecture: source Debian-Suite: unstable Debian-Archive-Action: accept MIME-Version: 1.0 Subject: Bug#1133986: fixed in yosys 0.52-4 Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="===============1200262292023937338==" Message-Id: <E1wDOy4-00000008Dex-3WJ6@fasolo.debian.org> Date: Thu, 16 Apr 2026 15:49:24 +0000 --===============1200262292023937338== Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Source: yosys Source-Version: 0.52-4 Done: Petter Reinholdtsen <pere@debian.org> We believe that the bug you reported is fixed in the latest version of yosys, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 1133986@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Petter Reinholdtsen <pere@debian.org> (supplier of updated yosys package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmaster@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 16 Apr 2026 17:36:10 +0200 Source: yosys Architecture: source Version: 0.52-4 Distribution: unstable Urgency: medium Maintainer: Debian Electronics Team <pkg-electronics-devel@lists.alioth.debia= n.org> Changed-By: Petter Reinholdtsen <pere@debian.org> Closes: 1133986 Changes: yosys (0.52-4) unstable; urgency=3Dmedium . * Team upload. . * Replaced obsolete pkg-config dependency in autopkgtest check with pkgconf. * Added 1000-dot-resolution.patch to avoid pdflatex rejecting input due to too high resolution (Closes: #1133986). Checksums-Sha1: 13df427abfe6e50429876a6fc2b46476694dbc9e 2963 yosys_0.52-4.dsc 14652307dd13b9e097e90b7ee14e29fa63d65988 22348 yosys_0.52-4.debian.tar.xz f346e38cf5ba3b19845f10397ad8fadadeecd0f9 11595 yosys_0.52-4_source.buildinfo Checksums-Sha256: 2d0c946e669134d4960a9adea93376bb00f9e60ef56e13f55f5d5fd9ec5e79aa 2963 yosys_= 0.52-4.dsc d28efaf70a91e9a9128d8c086fc8695aac41b9208f0ffa21534416c146f7e8d1 22348 yosys= _0.52-4.debian.tar.xz 50d5e7cdd19b51d6cdc05bd3ca5f7965e87a706ef17103ab420a82b4bb944bf8 11595 yosys= _0.52-4_source.buildinfo Files: 242f1131703d96c64845cd985dc36b29 2963 electronics optional yosys_0.52-4.dsc c41103684160ccc214de717fd3f9dd0c 22348 electronics optional yosys_0.52-4.deb= ian.tar.xz e94663c7e50f6a692dfd7fcf862c2e89 11595 electronics optional yosys_0.52-4_sou= rce.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEERqLf4owIeylOb9kkgSgKoIe6+w4FAmnhAokACgkQgSgKoIe6 +w7Glw/8CoA1G1ofPRIwPfP+ZWbETYvGijJM0Rgzc9oMOHW7XvXMnCo09k/hPeBp uXxJXSduM3jMVPT83d13NjhS4vl365413d3ojKLWJHALBRrtFgXkCe9rDyecsNkR XuYL+qiOJTNsZdVNUKOdugSk01o7qjuCXQ8a+XrRtb1saUnj98L+dSLg6ygFyswL NHuAas9fwQRM3euY7tbsNcVCMLNNH8FWd37Xql44k9Vn51jG4SMfXYqYE5KA8rMG WMZIWI70S64fsRr90PbcY3WGT3PatemjmF6cj3Y7/RT4+1sJ2eLDpE8lHXcL8aGa riIKzYX7KOagf44zmSoTwCcP1GfXCbKFaZccMRJ2TREmfF4tbxrrLdgxQr39PK/c uKi/OnW7f9iNjYLIwQOQD+ila2sT/gSfv9YMCHU8npnQz/geY+bLiDNnOxFistQ8 ia2XO3oE/ENfGeFqWMB7yYNtbrOkkHNkoxdJ/tS1EUYvz0eWHYEik73H5p3Ko+qb kCy+3NwATtWPhu/ROC4cG8mY5TzK14P4miwWK6vbnYwH273dwffwlSYUuoLCDOIy w9/0RvyMNZsO91FopYe4l5Sgez1BUMjmi2FeheOCfjlEJsJzbGQlluha5Mpdj+EJ RHNot7HWGwsfqJFYiPoBdKnsjUStXPxVgozMuem8Ew2+44uutj4=3D =3DGIcj -----END PGP SIGNATURE----- --===============1200262292023937338== Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCaeEFBAAKCRCb9qggYcy5 IWDDAP4oYN88r/EqW/vqHH/5w1OVA9bytq2ClzvqguBAmY86TgEA7+eSPv64AT8s yHTp04c4ee5/O/Djwh3dJzsRAYipaQw= =+AwU -----END PGP SIGNATURE----- --===============1200262292023937338==-- ]