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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys
Architecture: any
Version: 0.5.0+20151013gitf13e387-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Ruben Undheim <ruben.undheim@gmail.com>
Homepage: http://www.clifford.at/yosys
Standards-Version: 3.9.6
Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/yosys.git
Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/yosys.git
Build-Depends: debhelper (>= 9), tcl-dev, libreadline-dev, bison, flex, gawk, libffi-dev, pkg-config, python3
Package-List:
 yosys deb electronics optional arch=any
Checksums-Sha1:
 a4ec648a06565eed8c0ce9eb71b11b8d65f1f7c7 850790 yosys_0.5.0+20151013gitf13e387.orig.tar.gz
 c952fd21864da07b112e4c89dac59f78063ec42c 6944 yosys_0.5.0+20151013gitf13e387-1.debian.tar.xz
Checksums-Sha256:
 393ad30b6d9f8e1a90c5a1f27b93272003757fc4c160279d69008d8037849d24 850790 yosys_0.5.0+20151013gitf13e387.orig.tar.gz
 cd91da843562128c17ad9438a9c04e0092569fdc333c1dab91dd55e1fee81bfd 6944 yosys_0.5.0+20151013gitf13e387-1.debian.tar.xz
Files:
 b663fc07e46e620a5e8b5ab50449e0c0 850790 yosys_0.5.0+20151013gitf13e387.orig.tar.gz
 132dbd70200ca7926707694bf9422c84 6944 yosys_0.5.0+20151013gitf13e387-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJWtySdAAoJEPxqH2TRCNER8UQQAOyphUplR/j56eihO3S6+YqU
LOogQonatyV5kOLJxcofytE+mRsnWHmvZpo1GbZ8BK5quMgB7pjn0MyXQYmfFI7J
tTNVZYJ+hszIj1rLqu+UZ3PlPZGGeG+a8TiUL2G4Hh4xaB8ZZAo+Oth7TNdbJrhi
Rn6+m5ZTh7cqYNeFf9efWJvILvDvbviqLQAMiBnmcjauREpymscuvnQb+ot736BD
qBy1zKFbYaS7fr6672a829nmU816/W6mKBM+WG2kINpI4T84D+2dXyf9BxqyyPMw
34fkd/sdZ6CxBM17gQxwD4wYHZKDVgrsBms6YJkCidxr9lR9C2uVT1Wv8CsHwTPm
wlkUdlHhbBfpp6SiJVoNLZPFd3MOyeaNm40T99YdKkc3dd1jgF3WU742rX24/hOD
8vHcm8Jqoe9EGcPp6qbb/yCBQatwqS2ojP5hrbLa3hWHZCl62SdMHle4Zb8Qj3Or
1pAPkiXII9O0I/dPJLb1ppQpuu03q7vNNImJc0qJjaGKAvB+PU9fMRrPZkI3cp9S
RH+bChw4DThLfw6ldsbUHy2+e5Oq9f1NfOPin0pXpiXZ6R1F5prDlVCklfg2D9XM
JG2qqQc+n2EX7uaekl7DA3vYt+FX/hIfSbLADPwFXHddU6qIhKX4MGBw9S+0b+5B
z10a6GR8ya+bbMO3UpxJ
=QcOi
-----END PGP SIGNATURE-----