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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.23-6
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+20221019git70cb339+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, 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
 b47ddbe165f67f46be47be32e2c8012f0c6d712e 18000 yosys_0.23-6.debian.tar.xz
Checksums-Sha256:
 ec982a9393b3217deecfbd3cf9a64109b85310a949e46a51cf2e07fba1071aeb 2369493 yosys_0.23.orig.tar.gz
 024f699915338300764bb4f82fb2de764edeb1f383832c6f447e6056c909f089 18000 yosys_0.23-6.debian.tar.xz
Files:
 2d9b5d14898c01b8a99cf531a7163a48 2369493 yosys_0.23.orig.tar.gz
 4502da434f77cebe5a54c27f93106aa7 18000 yosys_0.23-6.debian.tar.xz

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmOLysoACgkQ05SBrh55
rPewwhAAuLnvwAZHpfZrs3ZHkE1CmOAa2DRgA40HNrw5M78JRH7MLwuGnz7Nby17
3N6ToGUuL6+tw63SPqHA2J+hhtNgFfHf6aXaPjPxNVCNrGIIa9agFgZnighFWt8F
FzBg4drARuJ1XcvoiIyK4NVUSxCwTZ/6Yj8/MANIf0Jg7bAXOadJKqBPsctdVL3b
U1UF4UWqE/s9Tt361dBRKsphRb2nNPb87Vu6qrozlC3aad63ne8wDwrV8BXJ2pF4
BTngZpW4uRNMQDONPbLQG/uRRP5cjuIoqsjgZtlUW2Cpw/J+X8VV2VXbDfS2ql/l
CRl5czw0PzaPZZl7YAZbysFcaV1C99VLn2aIo0fqabDUWGfS01dG8BPa8eqCbpkQ
PRX65cLaiavYqcdeKOCRlLIlx8gzuziNpfGhxtaKS5mBRsiLNAngE3ujQyaOaYjr
i0QUxSV1O/1ueso4Sq1exEmYWKCV82MpZh4Eu1v3nofl1Yyh6+s0MnqTsrA+xRot
3cmD2lNp1W/wDnjGtza9iMurxqQ14tyrLPn3CSJeCGImAQcmBGv+4fUjmImwBtJj
CpZNb+R8Cw7a1D5sLEsjqa6z+HCAzCkLEaoDrqdozPsOInpRdWdgq9oXeyLYrYLE
C3Ifa6VwvqkC7zgU0D5O9/CY15zIdxuyIL01+E7g0um6Lv4GBB4=
=GaLz
-----END PGP SIGNATURE-----