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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.6-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: 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, python3
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, berkeley-abc (>= 1.01)
Package-List:
 yosys deb electronics optional arch=any
 yosys-dev deb electronics optional arch=any
 yosys-doc deb doc optional arch=all
Checksums-Sha1:
 ee84113531fa0a7a2918079b8c1caf4ebb43a7fe 884534 yosys_0.6.orig.tar.gz
 c0150e22893d50afd6c981b8016786e8147c1809 13720 yosys_0.6-7.debian.tar.xz
Checksums-Sha256:
 bd3eb427cdb169635979f3c21bcf04c23f23df53c051653d63d2bb962a60400a 884534 yosys_0.6.orig.tar.gz
 eededd813d505863a13b2c81c22455b3f8b2d58ba5e131e5ffe7c0cef350ffec 13720 yosys_0.6-7.debian.tar.xz
Files:
 5154bceb1d0d24ec461c3719a556082e 884534 yosys_0.6.orig.tar.gz
 de764fa8d98dbab2ae8d1cfebddb209b 13720 yosys_0.6-7.debian.tar.xz

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

iQIcBAEBCgAGBQJX5BYwAAoJEPxqH2TRCNER4sAQAOtb5jpnic93o1/+YvLo0Lhe
Ld7n2UcD3ZK4eO5sh14AkiFGbe4wVEoqsEjnqOYDhC1OHFODLGsCVSUemij2dT7x
PPmFbKOLNrTp2u4B3rbM+1+5UA0rkRu5/VwfNINY0H+enzBBP02CnzVMUNYyECSG
p2nqlZvLyevEXNIQn15rHwBc92AHC2F5F/ZmAif67EgCuJfhNW1i4zBHLUM3nwOL
ZPfClJjdPQM+o/hkThe+umTNRQlbHZCKn+ZUefJCvGFXuqecFz3DuTRD9mRgshiA
ARNtLQR5PKsMt8DfbJFysfaAqbhRVpqvImMwfZy1EtQuuz3rp7bOjsBzBUBZlaB6
1YYuT+EOyImnvYbFSyW3k95C7lr3LPrLj0MF0/1XFzaGUi6L4o5ulCsm+4b6owxa
lqMZs0TlasLckAIn0wDaQc4eyqTG9ItpWO7V5WmYnGhKiQpjHqxt0YMvko+YZb0f
VBjfQpCz4lfeNYUA/Q3MlWIfFnH4koixAl5XJpyYFHBGHufaQzEo/10XkRiapeaF
ps6l0zHs6P05gDNeJEu8nf3abd0RYLQAuY+9sTJwE/DUt73iLaZe3QlqiXqri1G+
9C3qQ1pRQDfigg7g1/iHD/IkOVd8BGAIQEdfbcUMijXWjCWP+YPWhc7KgkDAPw0p
zEZ4z+9RyD9/mfxsZ7YH
=73R0
-----END PGP SIGNATURE-----