-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc, yosys-src, yosys-tests
Architecture: any all
Version: 0.30-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, 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
 6ea9c40d55b55fa2c5ff380c1a719133acc9ab1f 20644 yosys_0.30-1.debian.tar.xz
Checksums-Sha256:
 1b29c9ed3d396046b67c48f0900a5f2156c6136f2e0651671d05ee26369f147d 2542403 yosys_0.30.orig.tar.gz
 6cb75c02fb88405fa248bbd144b22f8d9c81b125d2e729f3a23fea610cf19807 20644 yosys_0.30-1.debian.tar.xz
Files:
 c32c670b024084969ba8f22b036d9b60 2542403 yosys_0.30.orig.tar.gz
 9a093d1f5ba7c806f179b017b61cfb3f 20644 yosys_0.30-1.debian.tar.xz

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

iQIzBAEBCgAdFiEE3z4uQkp+J5wuSwI6ucKa7rL0UKcFAmTjz/gACgkQucKa7rL0
UKe8IA/8C58wZIaLlZWPa7+fjwjW+TdirWjoIEYeRrYVBSWEooBHZNpgmOKHPEnw
ox2rcYSvFdvAwbTk24uTI06ZxjyWFqqdE0yk06BapBqr3IDC4lo/pQarbxHM43mm
qy1n8SXkLK25KM8xOajrdspL+jvxw5iDh2h+fBPEBn7WvD1Ku+Yjoijy04pw6nLj
hxwY2RZ/LljdjM3FKl0BtxsvluBc1HMyuo+GKxjrPlTzOIvTtq5pxbBGAZJPLeCY
gELgimYeBhKMCc5TZ9bO4D5VxxBwNt+CzQiEJK4u7+GlAaZZI7yz0h8PJ4GPU9Ey
EQgR2nApZuwfspmFV0uihQUShBAlkz8eugBBCgOOHUy+483DZeJejVp4wSWHnh6r
OARn8Zavo0A1Kem8MaedpelRGnHhKATolxPJnNuyLyIHtftZN1D+O+8LxkwWBYik
UUp0wx8tmjuqQrS/gqsEbubSzd1r2j3D3ecJ/xDS3EzLSSF0eTJIQZgjmcIClH0Q
dHaoqLshbdQkmDqyxrv80etMIGS/1u/Yqbd5sJVDa+A1rgjLdniEBDLHiU6z94DH
VJeqgE0dsGqWuP5wMeN6ICyGZfsuOmSWeSgGIfk5UMKeezrdECYib/N0UsiZsAgt
l05FwUawnkAD1KxLcPVAhrJTT3efiBWtJR/+kTaiVCdVZ+4VWzY=
=n4uP
-----END PGP SIGNATURE-----