Accepted yosys 0.30-2 (source) into unstable

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

Format: 1.8
Date: Tue, 22 Aug 2023 13:45:07 +0200
Source: yosys
Architecture: source
Version: 0.30-2
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.30-2) unstable; urgency=medium
 .
   * Fix install of manual.pdf
   * Skip running tests for binary-indep (docs) build
Checksums-Sha1:
 5d0e5184e259144d0f874822401260cc85ecb582 2743 yosys_0.30-2.dsc
 61983071b1596ea2b0d2e2b9517659b444054df4 20764 yosys_0.30-2.debian.tar.xz
 56b8e3f8bb91d3c3782abdf519deda44c3f6cc89 13452 yosys_0.30-2_amd64.buildinfo
Checksums-Sha256:
 70691f214e4d769e5bbe3cf7bacde2764bc9a4715ce64fa7d5ec71d5e837fd75 2743 yosys_0.30-2.dsc
 36bbb7cc1a485d66a56a7bf59c97f354e4000e99eadae1d4fb605d709969b7d6 20764 yosys_0.30-2.debian.tar.xz
 a1e63372265b7ea8cc3fb93d08732a4f151313d1f308f74e92db2260703e0f9f 13452 yosys_0.30-2_amd64.buildinfo
Files:
 9c301776a38fb32ac83e9c3d7fac59ab 2743 electronics optional yosys_0.30-2.dsc
 3d4a8c7f637d776dde50fd0141dbf5b6 20764 electronics optional yosys_0.30-2.debian.tar.xz
 d0c9505f360b93e07f7ba76e6f7dd729 13452 electronics optional yosys_0.30-2_amd64.buildinfo

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmTkpTkACgkQ05SBrh55
rPfiBBAAuqmEXPsw/M/cxeXCV0lpvgbx4XbMegsAW+I92kCQPuYDxj7P3fbUnDdK
RDHdSoZKywc0KYuIKYtCeSQq7+V8qlS9y8ltLgrT7e2t81YPktmEPPv+S6h/kaZ3
jrsQIJVtCQA0gURYERjNZkeVdjjyVtowRDa0jOp4bLuoqTQlfJujDa+sjgG/Ko6u
sBCOM1eTDAE0bl1m5VeVCxR3sQ1hEsXS/OaP8tAp283dU13HERqx48wz0i8cWa7N
AYTASIRxTZznmA7EW6m/3IQmNT15GOzY4VXmXP+KU+lrKZ8x0iXn7jYZKQpYlPEY
0uShuqJbnH7scENN7GeMeOIfG5VPySaC0UkmtCy601izgV5ymbuSSs71CTUePcy/
mL8I3mflwVs+EWNpYlVl39SP2v6buE7S9PV262KhJDB3B9M2X1H3oJgjvZah9Xkg
rQ+LYPDZBRDBHbKEvlMIhT8RcgE8RwO0Nnm6h9V5Eh6qkQ3DRFJF3eqHauWXeGq1
oGD0upArGQLzgMgQIUFc9YQudZn+2CfjigNWmL1+t34NqTgJrt+VEGOjheCEzufQ
x/qYnTHX+D6dAKCvkE/Ot6gqlCwYvZjibL8+0qEe99VtpZqTPs/kUFa1hMqutweg
NoLCEQ8h0G98tNvcxi+GO8oSdatUBIMy/tWo6cUcRd/W9RMfC9s=
=mBwq
-----END PGP SIGNATURE-----