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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc, yosys-src, yosys-tests
Architecture: any all
Version: 0.30-3
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Ruben Undheim <ruben.undheim@gmail.com>, Sebastian Kuzminsky <seb@highlab.com>, Daniel Gröber <dxld@darkboxed.org>
Homepage: https://github.com/YosysHQ/yosys
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/science-team/yosys
Vcs-Git: https://salsa.debian.org/science-team/yosys.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), dh-python, tcl-dev, libreadline-dev, bison, flex, gawk, git, libffi-dev, pkg-config, txt2man, iverilog (>= 10.1), python3, berkeley-abc (>= 1.01+20230625git01b1bd1+dfsg-3)
Build-Depends-Indep: texlive-base, texlive-plain-generic, texlive-fonts-recommended, texlive-fonts-extra, texlive-latex-base, texlive-latex-extra, texlive-font-utils, texlive-science, texlive-publishers, texlive-bibtex-extra, tex-gyre, latexmk, lmodern, graphviz, pdf2svg, python3-sphinx, python3-sphinx-press-theme, python3-sphinxcontrib.bibtex
Package-List:
 yosys deb electronics optional arch=any
 yosys-dev deb electronics optional arch=any
 yosys-doc deb doc optional arch=all
 yosys-src deb electronics optional arch=any
 yosys-tests deb electronics optional arch=any
Checksums-Sha1:
 7b1f00fcb2acbb09d3a5e39040593c410883f0c2 2542403 yosys_0.30.orig.tar.gz
 474b34e7ae8eea3f829d7cdc60cee635edffff4a 21164 yosys_0.30-3.debian.tar.xz
Checksums-Sha256:
 1b29c9ed3d396046b67c48f0900a5f2156c6136f2e0651671d05ee26369f147d 2542403 yosys_0.30.orig.tar.gz
 dacded3e7310f422bc048ea938ddc20f40c2e9168c96955f10bbebcbe3c7f88a 21164 yosys_0.30-3.debian.tar.xz
Files:
 c32c670b024084969ba8f22b036d9b60 2542403 yosys_0.30.orig.tar.gz
 9d279799d53865e7b970fafc6177f92f 21164 yosys_0.30-3.debian.tar.xz

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmTlA2QACgkQ05SBrh55
rPfbPhAAh9dXDHLaZuATjokFfVsEubycYT9A9jKdVmW69XFYdXz+A0lSGRAF9pHC
BeUfF9/Q7/VvYq7IdbtUbY4LKchVqa3p/uKtE/vz2EFBo1Lwyf1nF6kKDF8cUltY
jSbgRy7ojeQqHxo4svFuvSRb3arhDjdhQ/OXaFlu/RvsjL55Aq3AZh0OVmOoSa5n
CA1brCvLBPq5OJ9CWPbPL2PMtucUz6sMoTNjaeNAXiai6DYcj4GFOGdR8fy4AFi5
SrMdNHBIN+2FiXUQFhrm06RxOxqQC+z9Q0qZjfunCcsXGHFK5oSYnK/9VKQ6pCMY
0GicEU8xBoEIG3v5Kk3FPvaBjX0IunKY7shlNoqmu6jrAkSGV2bEEIgM9STSWTqU
+NDySO4EFrGprJ5AGafTJi7MoBzqjrHYa4iOv71avrRxhDO+5l34TJ/Ctg950mJN
GuVS3mvhdkgVb+J8GpG2w2VUtiOeUdkp9Qdka9Gh5xfoLu2iMBeqq4Gl4HO1XAY7
lubFl5LawGZIf3+f8T4JiX4eleKfRqraFyW4X7qb0nvhbj3efybXlFyFWb0rIWHu
lOhUaULf9dq06tKIlUN+HwXPqKa4T0Nk3Sok4kMlFYb7e5tpYFLw9UZ9uVqL3hoD
g1sllSI53ruTmsvSvkSYWuvG8F5qhHKw0ecdWsb5l9bxN0b2uOk=
=3PRQ
-----END PGP SIGNATURE-----