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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.7-2+deb9u1
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: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/yosys.git
Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/yosys.git
Testsuite: autopkgtest
Build-Depends: debhelper (>= 9), 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
 52274dc69224922c874a66a8e5a9c5e4938a5867 12568 yosys_0.7-2+deb9u1.debian.tar.xz
Checksums-Sha256:
 3df986d0c6bf20b78193456e11c660f2ad935cc126537c2dc5726e78896d6e6e 959374 yosys_0.7.orig.tar.gz
 894f1ddad146d6eab92b13802f456c8880ff7bf6eb8273b78349908ba5d8aeaf 12568 yosys_0.7-2+deb9u1.debian.tar.xz
Files:
 981db34ca87d2f97a37d116a69686e93 959374 yosys_0.7.orig.tar.gz
 81a9bbe302438b2b7fe5dc042a201d77 12568 yosys_0.7-2+deb9u1.debian.tar.xz

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

iQJEBAEBCAAuFiEE6/MKMKjZxjvaRMaUX7M/k1np7QgFAlxfpd4QHGFuYmVAZGVi
aWFuLm9yZwAKCRBfsz+TWentCDqpEACh1/OvgbFTcV43sBj35fdS5YjFtZbAGmqu
ZgcELhfhn952ApTYnPoHiM232/TgZUUDSeGZrlPmqwufkf5msguRJkvgMEWkjIQM
jEJ89Slrqx2vICzr1Lxr5eVC0fstSkZm0Oq1r/7uXWGouSxadbEbMU/S0u9J0ftZ
/DYTPcW9AAVzYlqyTmhGDl5eTVTBXEuNckr9DLP25qBhiQMAg353xM0j7Bn3B10l
DEwosHq2mldyLhOqVb7Se9vikFKVwPS3npOGCu67/ykC/wzkTXqBqJ/8Zdv3JPvP
MoLGjOTKTroPapxWL396IgYU2IUAtdWQAs+9qbhf3uLMey6ZfqMw6WQffWPL3wCU
8n5I3GDjksAyVx6tKerm5kEqd+lppjYHq2Bp35hXkjUv/Pe6F1KxTBYj1dEaALTH
7TND6RTCa8u/DOnJweDfxbMdYf1YQ0uJ7EC/fERlwRNtib6WkybxQUYqP7isA9xW
FGPNXQP+h+bLlnHARKoI1z+aXIbsKqdYg+luEqG7JPqQ2DbbiwYrYiuCCvSmV/0q
1HOCAiIZuP8F1hewpZrM9zzXswSMbCt4SlRTkIa8Rue+iYzWyWs9AzF+PzOT6+n9
6p/cNZvjQFrpdYGL/KIl+Rfbq+v88+2PexFwNu5F4TZbvBETyVmYlyB+KAzvPPxw
5EH4O130eA==
=mO8w
-----END PGP SIGNATURE-----