<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.8-1~bpo9+1
Maintainer: Debian Science Maintainers &lt;debian-science-maintainers@lists.alioth.debian.org&gt;
Uploaders: Ruben Undheim &lt;ruben.undheim@gmail.com&gt;, Sebastian Kuzminsky &lt;seb@highlab.com&gt;
Homepage: http://www.clifford.at/yosys
Standards-Version: 4.2.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 (&gt;= 11), dh-python, tcl-dev, libreadline-dev, bison, flex, gawk, libffi-dev, pkg-config, txt2man, iverilog (&gt;= 10.1), python3, berkeley-abc (&gt;= 1.01+20161002hgeb6eca6+dfsg)
Build-Depends-Indep: texlive-base, texlive-generic-recommended, 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

</pre></body></html>
