Accepted yosys 0.51-1 (source) into unstable

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

Format: 1.8
Date: Tue, 18 Mar 2025 00:00:57 +0100
Source: yosys
Architecture: source
Version: 0.51-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Daniel Gröber <dxld@darkboxed.org>
Changes:
 yosys (0.51-1) unstable; urgency=medium
 .
   * New upstream version 0.51
Checksums-Sha1:
 0db56b80ee70c50b5f8c5a0e6a26f9afa16f5250 3040 yosys_0.51-1.dsc
 a5e86cad7a50606a3d430790153b7267cffcfa06 6655928 yosys_0.51.orig-abc.tar.gz
 64794f7985dbffe42b55ff439e7cf864c8ccb116 3289010 yosys_0.51.orig.tar.gz
 f7736fc6b45a0b066615570cfae31cd453fe828a 22964 yosys_0.51-1.debian.tar.xz
 ca2065b247d775b68b468a1653b529bc6b2ad545 16562 yosys_0.51-1_amd64.buildinfo
Checksums-Sha256:
 a9a52c6941e76f8d86a0e1058349107c25a159bffab654cfc7792f4d332d4c39 3040 yosys_0.51-1.dsc
 1b0d023a5f76088fe46de76ddec3d0835f337bea333669a0cbcd289e1accc330 6655928 yosys_0.51.orig-abc.tar.gz
 aeec40346c862b08dfa1fb9c67c410cca5630828cb8ebfa2f79cda12d78ded99 3289010 yosys_0.51.orig.tar.gz
 9c760d6fb2d0982ed1441ddbe6691ea4756a3f1cb38e56e62ccbcfba37233dd7 22964 yosys_0.51-1.debian.tar.xz
 e42314c9871396301aa26c1283a09c0e3f9b6009a09b59577f18025bc2f3f967 16562 yosys_0.51-1_amd64.buildinfo
Files:
 71c2bd7edee85c3ffb7ec1a284db3443 3040 electronics optional yosys_0.51-1.dsc
 62146c4af5461e9b3093fa90ad7287e3 6655928 electronics optional yosys_0.51.orig-abc.tar.gz
 876cbb8c6f316a38bf69e7de808d8694 3289010 electronics optional yosys_0.51.orig.tar.gz
 9d78cc81106b9d9940ff6beebc1dea32 22964 electronics optional yosys_0.51-1.debian.tar.xz
 a37ccaf726d3b2dc943fd81bfbf48f6b 16562 electronics optional yosys_0.51-1_amd64.buildinfo

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmfZaCgACgkQ05SBrh55
rPeptA//QH7wcSuedU4mkLY83mry0uEjPCU4v/i5ga5w66x2DugtXfV4ccoR06e3
+b0IepNy13t1tsPu4CVHXkRowDYHEhQrhJduk5uBN4Bsczrznf27P1oMbxKAcd8X
MXb3g9ickUB7nPKEuU6wqWTP54I0gTHwq7lvvN8ok6U715gAShC/L/WOzb7R6c+1
HRtwDmRXr+j5ZZwifHTA5UUQXpLwq8z5UEiAWgIL0Gp6yWlA5ayy7dXIYqopzIjs
uwKU8cV3+gGK9CrUEz+OwxeXBoo+e33ykH8qmmGGL0x4AX0HgLoBbX2iyOhyaQfG
+V+FSQbWReJjh7HHlomF/901kO0cXx/UWb9MYVJiw49B/jhvwm7db3p3ttFR9lVZ
kbWRfD9MQRfqQFCkR1vVcZhuVqfEGwPTlRloQQKxsafHIB3ZN2Y/tLe/FS/2701H
Xq0hmPXBI3VRtiKwYMtf9wpYlWl++hHRWKewi1IKHKHNq0zWqJmwzGLhu/6o6PNk
vSrCwe86u1NRvjhKR/74Lhxx0Zji6xsM9dmi/THZlpdvM3KdQPIAuYv7U0XRr8OE
SzsbByPg+Bts46AQ8GbBBWT7C5dh1HOZ8tn+14ht7uyLyJ3inyMuHNrqHMr658h1
x8As3mzdGXa1aSgeYJ4CuC6XenV2fNnLcFQtIlcvYmwFibGI5CY=
=dhYq
-----END PGP SIGNATURE-----