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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.7-7
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.0
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:
 6b3d3236c9716087a1c6a5c228acaefde617a5d0 959374 yosys_0.7.orig.tar.gz
 75e9b8566086b17f359b00866966b319a562f4de 15828 yosys_0.7-7.debian.tar.xz
Checksums-Sha256:
 3df986d0c6bf20b78193456e11c660f2ad935cc126537c2dc5726e78896d6e6e 959374 yosys_0.7.orig.tar.gz
 adacd1e1f0ac809e30397318fe46142283fc668da264fcf35514b01e5876dfd7 15828 yosys_0.7-7.debian.tar.xz
Files:
 981db34ca87d2f97a37d116a69686e93 959374 yosys_0.7.orig.tar.gz
 e74b6e04ec6b792706462bb64f529036 15828 yosys_0.7-7.debian.tar.xz

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

iQJMBAEBCAA2FiEENHTECWcp7QxRgH085pgix+ApWM0FAlt89UcYHHJ1YmVuLnVu
ZGhlaW1AZ21haWwuY29tAAoJEOaYIsfgKVjNml0P/R+McWcjiIBopUuQbdJ50MVl
Dls+9NIprTsIUrxDkbdKHwdN+QluGHIAJNfmzu574xm25HWJGAbQgy9kYcQgntWd
Nyr3oSFFWtXwc/Ph3ElXw/HcMZ+gYYRpzd9lXVRH3t7KxXprkP1lXYWOXS6uGkkl
TjVRi35Rip6TnB6ijNYj73EkhhnxP6NIAxSoM+SdCdc7qlcxnjXpcz8DPoyemVkk
r0/bSK0XLFan1s5i2VnBAvmdEUxNNgo5Zbfr5+qo8HzD3ak50KjBgIp9H+1U5Kc8
QijNSzMVKYLc+qPA20hwI5adE9dov1D6cRb75juRkWmv+kpIa9dGEeC56E/o/q3p
jiQ2e7660vpuXrLAam8J4x4J1pzxaDrQ2cxd3dYqWroHL91UzRuXKTOebtZzy49r
ugyRe9Ik52npxXCBeKc99iAdskUdTBSj6Lz1DknKZ+6CTl2OP7w1IDZewuVU+4o1
goK1llO7MjkXFMfars8fhaHn2YROfDIXVpV9BMRm6xo3cFphI6jn4BUMKxtpmMGc
JLsryfvAocHUncH8CS7QO+7snDusQ2b7D2/I77x+rctPphP1FY+XQLP3yOHHYFEu
prkc9JGC9Vajk+mwYkikbE0ZZqBaPEBMguxIWHHzNRLbEoeSsf2q5cSZAsRf+fjs
Sl2FCcuI7pPBwy0Y+Ixh
=gBra
-----END PGP SIGNATURE-----