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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.9-1~bpo10+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.4.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-compat (= 12), 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-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:
 eea21a3ce147d7d3bba3f6e32c9ca2e6b452345a 1299545 yosys_0.9.orig.tar.gz
 7c14f1326421820e08ebb4bd5f70ad316e15144b 17288 yosys_0.9-1~bpo10+1.debian.tar.xz
Checksums-Sha256:
 f2e31371f9cf1b36cb4f57b23fd6eb849adc7d935dcf49f3c905aa5136382c2f 1299545 yosys_0.9.orig.tar.gz
 4c943eea9f039b91e3d25a76a647a6a5c73320df099e49af34ff2aaf3b3d5aa3 17288 yosys_0.9-1~bpo10+1.debian.tar.xz
Files:
 88518fa1d41caf4458d63bae220aa6fd 1299545 yosys_0.9.orig.tar.gz
 bdcefcdb771d70908f9bbb56bce5a24e 17288 yosys_0.9-1~bpo10+1.debian.tar.xz

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

iQJMBAEBCgA2FiEETeTfPeKePuppVOXOGnb1/BKWi3kFAl2xMTQYHHJ1YmVuLnVu
ZGhlaW1AZ21haWwuY29tAAoJEBp29fwSlot5e8sQAI8gOtH3q0xX9GhXgc8WpZ2O
lo5w8aqo/CeD9NDy9fo+rctXYoRaWEpFAHRawBGsO7VR/Ve1282Ya1P95i3yJTaM
voIKuRFB+QUJwI4v3oJ0QO2D3cRZmjS7kTkxdvNBsLGF+N7G4uo3ndfFr3O4tXlh
Zx9c4J5jBvSxt+miKMgK94BCW7qBCnt1PSji7WAGh0ao02I+z3UCbTK3m0fyfluH
g3JrvIh97p38ilsPTiiARTwRtSKRSS7ZOI8ZDxFmEnYk8IZ0f1uXZI8M501UFVKu
4BAw5dyJG2LDbl+/N0j1nUQrmbC9aRbUyPvHSzNsil1dbouSSQc4+6gn1wZUSaxG
RRNlerUBWtETByyfOXMvgI42mZzILzRmigLvLas11bFc23vcOJ/pCf3QVY7TwRfM
6Yftomr6ClrdBEZKEjimdo1b79A5/clBbTtqw12YP+iIpZg6Wv4u9DgxJGbtcMRe
HrYFymBuxIKMHxPzPpt3SUS3sgqNguKVkU+2av41BRhZo8Yi/GzBbJAupfKAaf3K
mL7zHrL5RTSrYt/bLqfZhIxziSVrs3hVdaBw68StQukZ3PFWDn9JH+nqtICStvjy
N7VfslwDwgeZW7Kz+y+E2VsfShvp8brjwS+050ldBxNU7fd0xKTjDjETyGZLTQJA
0CalLk+FQPj/q1E5hEJd
=5SEt
-----END PGP SIGNATURE-----