Accepted yosys 0.52-4 (source) into unstable

-----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.debian.org>
Changed-By: Petter Reinholdtsen <pere@debian.org>
Closes: 1133986
Changes:
 yosys (0.52-4) unstable; urgency=medium
 .
   * 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.debian.tar.xz
 e94663c7e50f6a692dfd7fcf862c2e89 11595 electronics optional yosys_0.52-4_source.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=
=GIcj
-----END PGP SIGNATURE-----