Accepted yosys 0.23-4 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri,  2 Dec 2022 16:28:15 CET
Source: yosys
Architecture: source
Version: 0.23-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Daniel Gröber <dxld@darkboxed.org>
Checksums-Sha1:
 02c376b54aec925ee7e11281a520c02017c51903 2518 yosys_0.23-4.dsc
 51c1547655093eab9645f83e1adb815cb23dbde6 17760 yosys_0.23-4.debian.tar.xz
 77b3a9e9a08332ca61b7cc9ddceec14c8540fcd4 11172 yosys_0.23-4_amd64.buildinfo
Checksums-Sha256:
 ae4f8f50ef745659f4657122eae10fd69466e995a7efaf87abe0580f8d63c4d2 2518 yosys_0.23-4.dsc
 09a6b034f55acd0cd8fac88ea23d60eafb91e2080b0fdfaff64c0dfe02e29b7c 17760 yosys_0.23-4.debian.tar.xz
 0fd3f4207a6cd53bf686584b73157c4e8938fb11bceb907e43e7ca58c8e90d04 11172 yosys_0.23-4_amd64.buildinfo
Changes:
 yosys (0.23-4) unstable; urgency=medium
 .
   * Fix fstGetUint32 crash on mips64el, Thanks Scott Ashcroft
Files:
 989efeac07dc5b294a23a00abde53392 2518 electronics optional yosys_0.23-4.dsc
 d4d3f83a6a2928f9debc300f00a76e77 17760 electronics optional yosys_0.23-4.debian.tar.xz
 baf9d48a9a70bffc15cb7b88a3b7f2aa 11172 electronics optional yosys_0.23-4_amd64.buildinfo

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmOKGccACgkQ05SBrh55
rPcz4w//X+aq65qGNGnIOYF73wKjnWIiAYDe6Nas7TOJTBWKOCZN2Gf729pzwJaH
MXR2Qs7rVaQlVlcgYjLLgVKjALILo0+ukNxTgFlBKssVIqSKxrSe+UN2DXpiSTRq
mVgYFsIS+ChSIlvp+WJINll/1c4MGEin3oOMjuxy1aLesd/heOT+RT7R2glz9oLU
+ELLAYwnrHDvtTopa5Atguo5W449LNeqMT/JPFa1LDluH0KDjjRPgy0eENLpTGrb
cQIbMC13M0EvinOcyVm9pTggn0hzlbLRxYdWEBCko4cuWo0pJPjm6L56VJu+LJjQ
zXPTRktjtB0iRtmgFirRW+6a3JHiKlRzKoptHqj6OG7lWz+GaV83WjY/MCDuVj1/
3UpqiaDR+QuSefdDrBbg7YyhWtgnoPdk6dSnCcWlD/4vc14ZvFLAnAuUP0TeRgoC
pE1/2Aii60jQQgQ2PV5kuyyZ4LasPRrInXbvulf/dvn4MZLF8chhUqsKJvfe7OcZ
8d+tT0l42OOrQPs6rwEfdYPzSv4MKgAY8r4jX0RlZyupHK+dOI0uikTpH49Enqsd
AaGk9uuTU94xGH9YpO/SjOEf0rJksTZbll5w0XdCNKDxBRf4zYiBOvMPdOWnI8M8
d8hclRwSP6yW6AtWZXh+Hpje2S70zd7+Tg7YrUMlL0zagCRUNGU=
=Tbct
-----END PGP SIGNATURE-----