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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.23-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, libffi-dev, pkg-config, txt2man, iverilog (>= 10.1), python3, berkeley-abc (>= 1.01+20211229git48498af+dfsg)
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, lmodern, graphviz
Package-List:
 yosys deb electronics optional arch=any
 yosys-dev deb electronics optional arch=any
 yosys-doc deb doc optional arch=all
Checksums-Sha1:
 9342699bb2c6291bde6c856de887b66d48da022a 2369493 yosys_0.23.orig.tar.gz
 c4a62c79074ef3bdd2d4c6bd7b2504ac924bd949 17412 yosys_0.23-3.debian.tar.xz
Checksums-Sha256:
 ec982a9393b3217deecfbd3cf9a64109b85310a949e46a51cf2e07fba1071aeb 2369493 yosys_0.23.orig.tar.gz
 203ad1e13e222a70fe8c5cac1f5511ab4f47569348368464a8d1222cac63147f 17412 yosys_0.23-3.debian.tar.xz
Files:
 2d9b5d14898c01b8a99cf531a7163a48 2369493 yosys_0.23.orig.tar.gz
 cc7be213e29428fee6ec1469dde588da 17412 yosys_0.23-3.debian.tar.xz

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmNxdpgACgkQ05SBrh55
rPcHChAAi+8JTYkrpPNIUNVlUTPVUBX08Hx7XoPEl0Ufl8qJYXhYzlHuHVeK6+L9
2rLSbSX1dpZHYRmXZyyUwAj0+v8YsBIoDrdThB69wYGZcppPoOtpoe0CEVdGcGZ5
hQfGR0BeXgW2w1MWenX2yttN9FAU8p8C6FLVdJFnkyjrgzCj/OYScFJPXxzP6lhK
0hnrsTzlnDOtlIx32Rq44HDSo+s+LGvCDs1ZOjpvSpH8VVN/ICAmkl4gxR4NOHSo
fOy+5muHJrbDYszF2CKXQ5NuUl2jsg9smEhjLaNWHQNOh/HM/tC2LI1386C4Nowj
QvcH/ItAtIxMa53JPILVS3gbXmDFCdXUfv4zVR3h3pEySteyPYApq23Gs54iN9yH
b+1t0MSPgy/82ITGwhOAlmI1MN8ac3q+xz+Bedv6tQpCXesjQ9eW71xrfP9KTMLB
itk83jSJIY6dc3jTyte6IcpC6K7gvQVOUVwduC9ic78KZ/wr0vLaiK48Jbutev9H
9Vs7Ke6eNiB41KhSHGR/JJMTyu1Qe+xyWZ8WFt8HsOF1wh9JGhvENzKzDLBI1yXj
ayt7UBBYi+eRLh9V3RXJVXkk4qfnJweVFQ5r3RiyAH4/U6iffqjeVM/VBpMwUGPR
U3L76QYDHLQ8qWLgyj9nh3Thp+auufsaOicbjhwVFG23ygsUH5s=
=O8/z
-----END PGP SIGNATURE-----