-----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~exp2
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
 74b19de58d0c1d79a73990f1f7bb9156451f4497 30272 yosys_0.33-6~exp2.debian.tar.xz
Checksums-Sha256:
 6559115f2bbf4f1aac86ae4edbae416e8c60b8998bb3ac552451f4283bf6a5a7 6161029 yosys_0.33.orig-abc.tar.gz
 c240fa4fcc71c73b8989ab500f7bfa3109436fa1d7ba8d7e1028af4c42688f29 2586120 yosys_0.33.orig.tar.gz
 0dbbb53400a00dfde608b8d1f815bd093f29057482c1b750a6244b4b4e5143a7 30272 yosys_0.33-6~exp2.debian.tar.xz
Files:
 c0e0a1069973b836a3838649e4df6714 6161029 yosys_0.33.orig-abc.tar.gz
 3e2ec8eb6b96250830f8c01a72055441 2586120 yosys_0.33.orig.tar.gz
 1257b71d99aa0a34bdde178bd8dceecc 30272 yosys_0.33-6~exp2.debian.tar.xz

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmVDc48ACgkQ05SBrh55
rPdkew/+Le/14Tyt+pFy3RhZtYbrKuF7hqtqehJAeTRJ5nN1RgA51/CTXqfGRQyP
r4DcYt1vgyZ9S9rM3+P9GfxPltRGTy00mK90fRzEOXVDvzWBT6dmAnruAb7nGugY
qEY6tbDH+BeijWI7osxgTAzLe93yubsMDMGdR2Urev5Ys9R/VJm7waqOdrA0oLxu
Jx2fQ50Hv85GWS5fJVBalJRVEhJVsBtmUsMXiflqoIr78ZWs/FX95aWGSBfjA/uO
3Es5OZCB5fwDz89GRICLGNKZ5eI0jCrWZgFx4E63x5daOpxSMlSaweo/OH3tH/zg
rgHRkdZIRM12l+4XTV7W5Ueufr2XNCG8IxDqy+XJS8ewu4jRQuGjYebl/+kne5O1
0emansPUaktJYLQ3JFq6V6Q26fViUrIwqLt34r0TN8fD06UAfmHz5/xH/7e+gYgS
/2e9oTtVnvN6WXhdHx6URxTptYy5L57ZXKzMKp6WSjb3RH373S88lgEH7G7QQMpr
TUEcoeS811ZXXEflJGp/+1mFhrSRUwZPiqmN5w7U18dnGLM9+u4q0WbbJ2sbCtz7
iaz2u9rjk+X1jE4l2B1/vpcTAqr+rGh9OYswxNm7Cz4i52PerObtKyDl17XxtJa4
6QX42S2QjthASVjHHGwyTdR1KIaD7GNj8dMn2qV3hdni5SC0dwo=
=/mtu
-----END PGP SIGNATURE-----