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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.8-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
 a23fefe071d8aedbf821bc030fafd28d6759aa1d 17232 yosys_0.8-1.debian.tar.xz
Checksums-Sha256:
 07760fe732003585b26d97f9e02bcddf242ff7fc33dbd415446ac7c70e85c66f 1118433 yosys_0.8.orig.tar.gz
 d6f64b2fc65249e869f6132e1001d966eb76dd35f7486ebe0e58c7ced4dccf3c 17232 yosys_0.8-1.debian.tar.xz
Files:
 58dfa0e964583dcdec4df95b9736875e 1118433 yosys_0.8.orig.tar.gz
 bc3143e06c81684f21166708c8980575 17232 yosys_0.8-1.debian.tar.xz
Dgit: fb968be4a2708c23d5245b8c53fad6b3cb0c7115 debian archive/debian/0.8-1 https://git.dgit.debian.org/yosys

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

iQJMBAEBCgA2FiEENHTECWcp7QxRgH085pgix+ApWM0FAlvHZ0IYHHJ1YmVuLnVu
ZGhlaW1AZ21haWwuY29tAAoJEOaYIsfgKVjNWcgP/0gyp5mZ9h7YOdCinFNywYFY
z/iQ2XH1A3etlZT6Xt0Cx3JJyoqrLFU80+o/0egRn3GS0VT1NJC5jEFjcpx1r+Ri
qFdhNPNJVMnBtGdy+73A0HdU15ywe+AHvaatYxlLfrw374A7mhWs13XsYnmqFeP8
nf39uhTILSwdqFkAElqwPm5MiQWAT63ge787Yui8Onh6VBtPvRUfDjLP4jobrabU
4CgTe6qy4iNUmDr4ieb4ZX7OukGVAfQl58oRTQLDxqMdzhrNbScWJvGYf6usUnAo
Bmp/7IwAIQRCsAxt2T6GFRsev4pdaDwj2QZ/Aovx4U028eoYpP+x4AqvxGJiBhxj
VKYrgnH4KX9Zhfa97dim9UfjNPbyTlhjHGHIaVRoyGbknlbqzURcrVKx3ms/SCXr
ndS7BYmv9dgat/o+DIcGfhRlV16fdxU1eHQnEjCNwqMvlXsHfhBG+xgqjOE7MY4k
4s/Q2rcLOVJ9+6vPVTtmGxboZREv9VpYwIZK+Z6iiXxgdJ/CpkvocGBEZHb1ntV4
yuYMFfzxhSQIeXDDEzoNuEIr41hh9k3+Y+0vC+mPXH7c8WhPZtO5s9wCMcjCmyCA
ivpu8shgSrdpVI0/wQ14hsRUCowurVNqWLUT4vUErW4eQIYEFjoXb8ThTBabpbGk
ULLcRSw7Yo4FQQBAWcZY
=7Nv+
-----END PGP SIGNATURE-----