-----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-2
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
 61983071b1596ea2b0d2e2b9517659b444054df4 20764 yosys_0.30-2.debian.tar.xz
Checksums-Sha256:
 1b29c9ed3d396046b67c48f0900a5f2156c6136f2e0651671d05ee26369f147d 2542403 yosys_0.30.orig.tar.gz
 36bbb7cc1a485d66a56a7bf59c97f354e4000e99eadae1d4fb605d709969b7d6 20764 yosys_0.30-2.debian.tar.xz
Files:
 c32c670b024084969ba8f22b036d9b60 2542403 yosys_0.30.orig.tar.gz
 3d4a8c7f637d776dde50fd0141dbf5b6 20764 yosys_0.30-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmTkpS8ACgkQ05SBrh55
rPe5Uw/6A6dMNU12/GINAlcXJBq6RErJgMmWuZXif1yOu1rNw8DCNuZYKFEqIF1b
bHZgLqDKw389JRK/fua4EntacQ800d47Qu6aX/pGaqvWXA8oWp9MgVaqfH3jCF7h
4+1lRcSpajkT98oTfvGig+nz7MYAEM2yBPh/hoV+Q0qs4GOHCMAHtSUGQ8rnh6C2
X/G+k8EIojZKyQxShxumg5ZECypRS1q+x89e4tGDfiMKNuxkVuvpanIaoWJjcbmP
ao/9EQs3qY/fwKAw5ggL7k6DvDPxqLIrYJaO00dPWr8E3DycVZ0vgcTH9PIIlLMO
G/h/jALHhloJJiApH75LQbuMgwXBKIFzziSkR/1367q0RjYbztOfbvlQxTwwZzhR
NLKn3N33JuWhh930Z/UVc/ATUPheHp/5RbO11WoGDrmztxDBdm5YLQulfIZnXSL8
Uz+yiML9fJkT6Q6dNt0UiXm4kptLpuKJV3NCWa1hN3mDKVjklAaSFi4G3XQq1ATm
6U7ul4VnATgHuYsGNzoB4aIHg4C3c1cOdjx+8Fj/EeZESIGUQ7V50yb4vcgjiaq4
g2om+L/oYxGoPKBoOzTGOrGbe7jcQiji7becscAZdewBhRJsRfo0IafiLCiMMvEK
xh7jfQAycP5Jc5JBnnIG6UyOUp5fhxCuHsE/4ktaj+ALLaTfYls=
=2z2N
-----END PGP SIGNATURE-----