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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.23-7~exp1
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
 9234a14da6d1adf844fe2530871af452d1ef7785 20612 yosys_0.23-7~exp1.debian.tar.xz
Checksums-Sha256:
 ec982a9393b3217deecfbd3cf9a64109b85310a949e46a51cf2e07fba1071aeb 2369493 yosys_0.23.orig.tar.gz
 fdb1e4b2564101eda8d47436bc0e881c6873ed332c9c1b77b5decb3ab371aba0 20612 yosys_0.23-7~exp1.debian.tar.xz
Files:
 2d9b5d14898c01b8a99cf531a7163a48 2369493 yosys_0.23.orig.tar.gz
 e679ed01a73de23ece8f91d284b260eb 20612 yosys_0.23-7~exp1.debian.tar.xz

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmONPZQACgkQ05SBrh55
rPdpqQ/9HR+Z91J8w5rNvTbqK2pIhnG5/GEQuMByJTDfdf/b4WIQOt9owTbRBmzP
AakfX6LWcpKZfUBWsHHKgSUxA4zcnj8L0dvjCtmsjlrvcCJ7YAvm8atBExIqtudM
XIwQYQCaamIvfGzn3Cilm6cJ6NQkWJeQN4b8pgFQkUHPMJbpgWtof20/Q3nY07sM
2K1nTgNiSzt6qBuE0EI1rVf6YwoP03qTmXpsHx+EKKh9sCAey0+SlcVsuBwWtzE4
oI1oLm8GNCskG5M948/Yr/V5BC57AeLutPlq7R+cpQKGkqRu+kP2xgbprPH2ySuk
lw1by610rAsUhgbDTQl+aYimbEFgTnZEN2getvrj8qGZH/o/JIDJvb7wryed1j7l
3nCO0D2MyTXVL1wuJy9NFX3UoDYPaMbgRB7IgLbCEnQ2CwjDPefuYNmdndUbwDFm
MujE2ynCmI3NJui3GgIrugBQJoLKReFNvo+CKwt7t2LOXp5pX1IJL6ZwZDxEfh/D
jmu5kLVNDqgZYNj4u5Tvx70NcOoDy/j3O6hctG1fjWBYiJoz1ZN1KQhbjz075VsP
U5YgpgjaB33ebPeurNmSXK/9ZXQ6Xm5FrkDbNhVmxOZ95TsjtveraPPmAObXT9ls
nCmapubjsIwWPhlZCinmxvlq/ORIMWDoAggkgz9OnyHnwzylnBE=
=nVpq
-----END PGP SIGNATURE-----