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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.7-2
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
 e7702378bcd17773fc5e9f9fc0550c6ff31ea655 12000 yosys_0.7-2.debian.tar.xz
Checksums-Sha256:
 3df986d0c6bf20b78193456e11c660f2ad935cc126537c2dc5726e78896d6e6e 959374 yosys_0.7.orig.tar.gz
 ea89aa745fcd82de994b05cd37d14b255dc6cbd4972b5c33d8e47260e15b2918 12000 yosys_0.7-2.debian.tar.xz
Files:
 981db34ca87d2f97a37d116a69686e93 959374 yosys_0.7.orig.tar.gz
 7129358bb5df55937b366eda1a999590 12000 yosys_0.7-2.debian.tar.xz

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

iQIcBAEBCgAGBQJYH0FtAAoJEPxqH2TRCNER1TkQAMpesBqggVLB76cLtfJvqUIi
lPckX2ywpEOqu9QYE6Vkyav5c3r8Im4u5cyA1NMByP0CtGsSSsmojfpn41TTPyqs
JC0voS24dQWazG+nST55RlkTmvpJbC+Trim0tih4kNni5rb4CVL1GgpKEchgZ5Xj
ZQH4VQN7h1NgSQNRO+S9ww4oGZ4AbJ0S2rxju6zxMnPupHrwOzXod5yzhrZtUBqa
FJ0ncfFCaytZorzGSNLZW0hRl/Lsk8qK83I85neD1ZZUDDm7cdu/KKbAyBNW2s3n
5cZsMITAJMsXFO9XpUSsN+Z/hiZttzwsjmLl/AgQMYiyutV9h3edf+ejE/mfR5NN
8ydccXe/X+BOqqgj9EJew0K2kc/UaQmQFK1O+6VZ0Y/5NUINYn6u7C7BHoPURBEO
Aj7UWe4cHdmpqSaLyX5V8xi6BWquTB0ogSXZ2FjZi6TyTusi3m4M6kdRgLt2Hck3
Ek/du5VFit8BDM0mq9IiHihpoIteK2umjcETvgek9s1r06fp2lMKJHMf0Q9cb0II
Btxqx14uzyZYIFcEy4ezxCR/JwSbSFjnSSGNjRBlLktaUo+AwqANYBbJWxA+7bcp
xuSuUVNgWO8CpBL0n3qS6h+WjjZTtp/R86La3VjGT4XQRPX3kX/v6wnQY0WJdScJ
FUISlvYUyrmfU58HIaxc
=wPxA
-----END PGP SIGNATURE-----