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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-abc, yosys-doc
Architecture: any all
Version: 0.33-6~exp3
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.2
Vcs-Browser: https://salsa.debian.org/science-team/yosys
Vcs-Git: https://salsa.debian.org/science-team/yosys.git
Testsuite: autopkgtest
Testsuite-Triggers: g++, gawk, gcc, iverilog, pkg-config, tcl
Build-Depends: debhelper-compat (= 13), dh-python, tcl-dev, libreadline-dev, libbz2-dev, zlib1g-dev, bison, flex, gawk, git, libffi-dev, pkg-config, txt2man, iverilog (>= 10.1), python3
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, faketime, pdf2svg, python3-sphinx, python3-sphinx-press-theme, python3-sphinxcontrib.bibtex
Package-List:
 yosys deb electronics optional arch=any
 yosys-abc deb electronics optional arch=any
 yosys-dev deb electronics optional arch=any
 yosys-doc deb doc optional arch=all
Checksums-Sha1:
 00989e162bacde6d034f2fdf1c3bf36733ef0f70 6161029 yosys_0.33.orig-abc.tar.gz
 b9424aa45c0600f4fc0775453a7ebc5b4feec2f4 2586120 yosys_0.33.orig.tar.gz
 ac88b9d19d747440b7b0abeff9790ffb4a82b3b6 30456 yosys_0.33-6~exp3.debian.tar.xz
Checksums-Sha256:
 6559115f2bbf4f1aac86ae4edbae416e8c60b8998bb3ac552451f4283bf6a5a7 6161029 yosys_0.33.orig-abc.tar.gz
 c240fa4fcc71c73b8989ab500f7bfa3109436fa1d7ba8d7e1028af4c42688f29 2586120 yosys_0.33.orig.tar.gz
 b5f927b8c570d9a128c958a46510590b5c399f12323773a6b832076ea29fe361 30456 yosys_0.33-6~exp3.debian.tar.xz
Files:
 c0e0a1069973b836a3838649e4df6714 6161029 yosys_0.33.orig-abc.tar.gz
 3e2ec8eb6b96250830f8c01a72055441 2586120 yosys_0.33.orig.tar.gz
 6da75a7813bb5c694a8e04c1a40a2a63 30456 yosys_0.33-6~exp3.debian.tar.xz

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmcARccACgkQ05SBrh55
rPfKpxAAsmDfQT62RuRn9knJ0CeUUwli3hY8l71na3dr9UsPXyZHZnRzHeM5d69E
VkcmPrvVt0mptEFiNVscrlUTGplGa4wf31ikaDUBT2q+LEBKcXpvrg26S2YeaoHx
KsuAEJYjXF673elGH9kT/4dfoL2ySwKzQPicgrPa97oc6JdLQe3lguNZPs3Z6dxl
79ueRxyHP907FqOzURKo4/pZVOlU07eK5GmcbcheSlPVxzfGqZOjn44WjLVViXLh
p5nPCTtsgdN98oNQhzM8Bcq67ceuSuX1uMr8R3X+FNnBn1x1JeV3oJC8W0kGk+eC
WYqWlDa3kDR0m2HakaBvfKldQQt97bOY8n9jZHJU2sz4+u5XJ4ek3LUyfiCc+6+t
YhSso/Ib3IAS5Vzy7iAQsdO8/8K8aQz0mrGrX+vNdoObM1uniq04YDibbYASFJsd
Eo58vjJ1bGJRaAqeVfz5h1ngPAAu1vdGBG47rzgqPhWX7nP6OhmFT5kl9dUMw4wh
LBXpgy6vn+CXg/5oceSkStfGxqIjZI9+lJm9QFPc34kEyyr1bxgAiQQAP0hpkG6U
WWi45NInW+49mw3CfI+beIu2J8Ow47uAzofmm/y5OWlf066+CI/9WqRh2vtxydFw
vJSxTFOLxrCZ+jMnMDCA0D8kw7eZYLRtbb+NB7PKAB7wFHWPYs8=
=gK4Z
-----END PGP SIGNATURE-----