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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.23-1
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
 aa083c22c9e0c0d8fd04ae4167aef2d8c21c6965 17272 yosys_0.23-1.debian.tar.xz
Checksums-Sha256:
 ec982a9393b3217deecfbd3cf9a64109b85310a949e46a51cf2e07fba1071aeb 2369493 yosys_0.23.orig.tar.gz
 04a44d6353fe11bf7b098c32e7eb387672b66bb83a9affde353724707756d78e 17272 yosys_0.23-1.debian.tar.xz
Files:
 2d9b5d14898c01b8a99cf531a7163a48 2369493 yosys_0.23.orig.tar.gz
 39738cfd70a7295779d180a4d5161060 17272 yosys_0.23-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmNw8SwACgkQ05SBrh55
rPf9SxAAuH/pSBv7hldh1eJuxAkQIOrBKizjUy9lGMw66qspWfOQA1qVRwSGZUEL
LecqcnlNwuQUeuVBaQUEoV2qUxp6VNExvv8iUoC/d5PCAAO5ZFAJDXtOcPPJWi5/
GPxvrXwucjyC9w8v01I0GwgtLK6I7IyLCG0033aYZEvyy8yQpn1Cp5zdi41p8jux
onrgieh0r4JObV0cxgX438YUUbeMQTgaLZUApF/5VIrgHHw556obk+++x9upMI44
2EhFdisENTkmhhBl4O6Ioqc4OkEBMKyBAGdpAFgROvN6YCQ41/IxwOo6SIm3pvyo
0UieXRVg4/R9BvZgq2gatkjWMkFLc2Z7WCGcu+HdJEadatgUH20d7r2VBucBbHtT
qxh4uS/I7hVUqA0oZzcfzFu+2FJlTOHfNAYTdWScmSc2/2wroH/VdYvhMNRyjjDk
p8DXZ3+5TbFQ92F60T1T3xId1CcLomnqs3dMU4LjxjrVNqvyTDQRNf6KwTT8PtYf
LWDrcUYzOdJz7rEZCc6wUL5ZATEDuuj1FrSrzyZWtOiAOSV34yim3DszLYaD6KCv
2HoJ4FQi8jvEMh760ded6HtW0TVsuWamU7bvyNdioy6DZOLBfeJ5nfXplJk7xfrJ
ZaAvagflPtEU6CFDuZUAunkB7mVBaA9xgkkjy7LCxcjcy4P/8Co=
=tbzX
-----END PGP SIGNATURE-----