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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.8-1~bpo9+1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Ruben Undheim <ruben.undheim@gmail.com>, Sebastian Kuzminsky <seb@highlab.com>
Homepage: http://www.clifford.at/yosys
Standards-Version: 4.2.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 (>= 11), dh-python, tcl-dev, libreadline-dev, bison, flex, gawk, libffi-dev, pkg-config, txt2man, iverilog (>= 10.1), python3, berkeley-abc (>= 1.01+20161002hgeb6eca6+dfsg)
Build-Depends-Indep: texlive-base, texlive-generic-recommended, 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:
 4fd01d1ecc47a22b2f539964aa9d73aed2feca09 1118433 yosys_0.8.orig.tar.gz
 2288609ec7b112bc4a6810daccd94b4e4a5e4d90 17240 yosys_0.8-1~bpo9+1.debian.tar.xz
Checksums-Sha256:
 07760fe732003585b26d97f9e02bcddf242ff7fc33dbd415446ac7c70e85c66f 1118433 yosys_0.8.orig.tar.gz
 eb56e3076538b4ec6d2135082e2b6894346fd22687549228e44d90a9865e6539 17240 yosys_0.8-1~bpo9+1.debian.tar.xz
Files:
 58dfa0e964583dcdec4df95b9736875e 1118433 yosys_0.8.orig.tar.gz
 4cb6c76bb43dc2cc2eb9d955eb7d1d9f 17240 yosys_0.8-1~bpo9+1.debian.tar.xz

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

iQJMBAEBCAA2FiEETeTfPeKePuppVOXOGnb1/BKWi3kFAlvcpd4YHHJ1YmVuLnVu
ZGhlaW1AZ21haWwuY29tAAoJEBp29fwSlot5sbgP/AoUgsxxMc8Z6rddKsPJ7/SK
8HYVJce3//TpX+8PlcvI+VCCpt9MOhIhe46ehC+I+Z+Z1BOc1SDAamwlo2ZVYn5A
62Rvp4N4yq56TqZWeQvri/e7tllYnq9uWG5Z1KDy5Xv4wEkKs/0NJaJm4GWuhimE
RVKvzSmYYjLhBGjmIixlZy1k5lVgNrXwycOkezVUKgfHXEGtDbe9vjlwi2+uTqkX
EpNp9WJY8ZLxlJ3bzQS1BPKxQG9pPktnxpJrKvicG4vfo7+GeZxWYaCs42s3wqEz
/TND2NvCTMypdqwmqpDRTcTvCoiQOQHRJk/VPur0EzM2EseoVuYmVHjSoYCnl2AN
pMADT/lCXQzPSAuxCW5xpZ5s873Z0jwzM6ARlhdAt8DsF+WTcpwlqqWWoo6t+lvb
eK8exooYMbqqkvQlt4UOKCEp6khW3RzT9r9VmkyFx2q7K1gXZyhnBX8cNf7AsI76
Z/Iux8pMqJZFjrnM3XZDUX6eT9C6LullCoiFbBLTXPnyOxoPkuEnPUhdrd+jTc4j
AVzhGWi5ZjwlVpHuyPbgDySpMqYPV2nZlHIEd2Csusm6oWhSeDRmC7m7xVJhH/YX
iSoZTFe4F/MRzs5s2zOMUiBKb4sXhIUUyXeu4G4EjpReFKrirDsGjUJIz6rc70tD
2RnuMspnP1Jcd5JCxbqx
=ITfR
-----END PGP SIGNATURE-----