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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc, yosys-src, yosys-tests
Architecture: any all
Version: 0.30-4
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, git, libffi-dev, pkg-config, txt2man, iverilog (>= 10.1), python3, berkeley-abc (>= 1.01+20230625git01b1bd1+dfsg-3)
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, pdf2svg, python3-sphinx, python3-sphinx-press-theme, python3-sphinxcontrib.bibtex
Package-List:
 yosys deb electronics optional arch=any
 yosys-dev deb electronics optional arch=any
 yosys-doc deb doc optional arch=all
 yosys-src deb electronics optional arch=any
 yosys-tests deb electronics optional arch=any
Checksums-Sha1:
 7b1f00fcb2acbb09d3a5e39040593c410883f0c2 2542403 yosys_0.30.orig.tar.gz
 f9e4d1791d7526d17c659da78bcf6a37f1310168 21232 yosys_0.30-4.debian.tar.xz
Checksums-Sha256:
 1b29c9ed3d396046b67c48f0900a5f2156c6136f2e0651671d05ee26369f147d 2542403 yosys_0.30.orig.tar.gz
 381f5fac18576d484f9d5e5f5f382b2aee84d8b1add0222395359cefa0d57d33 21232 yosys_0.30-4.debian.tar.xz
Files:
 c32c670b024084969ba8f22b036d9b60 2542403 yosys_0.30.orig.tar.gz
 d6b7c66a1deca96b5b62e6cf49f2ad75 21232 yosys_0.30-4.debian.tar.xz

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmTmAxgACgkQ05SBrh55
rPcTIg/9EApZzARxVCDYtQ/l+LfzVzAx+Lh8zoAHJ9DcSjfiytTs3RGXy2K8kCbd
bTdpJBd2oAn6IGhYKSuhOlwU3zbMa43x3Hpj2whmbPba8vGX8dydEpT+JN3oo5pD
ZfuBRPS48ApXY7LkFy5mtOm7d3Ei2dNuiKw5dzI1FFs+uaCKVqjsBvyrpj7V0iDw
3IX/uY5yQo6RfiTYvdQnyEUCEtaPoZNQOQnfDQAK+72DqOwq0DZumy690C77DjiK
iuXeiMbyoL981eMGRMCP5dZ7W270rHV7TUUYhDpdza4jpKQ6CdiCSUe9+7cFFLR/
lI6TiGgV+x93IvCv8JUiucI9HPmWehgmummATsub0+F/UVPIBpjimzHnMOZEzCyc
EVgfT/wch0QVAsGkwdcHW3XAN21QDpRGWoSLipz2IRrITUhmXK45z880M/dzeUX9
EgXWEgcJfYissk3p4vNrD7B7Unw5D7QW2lTy4PaC4XWltdzpgkigrdo9qJyAqAOx
ePDKzaeJZ66GAssZZglCATq5PgK7iVttotlUliyxmv9SPRWQyJTCg/30VXy/l073
F4a5GKeXW0JTRUt4WmvvAcLs6Cy1CzCe4kb44ULdCu2h7KBts+bdU2KNBj/iav6T
vDqcqy/yfKMCPQv9GBrUxqvTDF8v1HjDvbJGEpkJU2gvz92cpYU=
=aAGC
-----END PGP SIGNATURE-----