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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: alpha amd64 arm64 armel armhf hurd i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k mipsel ppc64el riscv64 sh4 x32 all
Version: 0.19-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Ruben Undheim <ruben.undheim@gmail.com>, Sebastian Kuzminsky <seb@highlab.com>, Daniel Gröber <dxld@darkboxed.org>
Homepage: https://github.com/YosysHQ/yosys
Standards-Version: 4.6.1
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 (= 13), dh-python, tcl-dev, libreadline-dev, bison, flex, gawk, libffi-dev, pkg-config, txt2man, iverilog (>= 10.1), python3, berkeley-abc (>= 1.01+20211229git48498af+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=alpha,amd64,arm64,armel,armhf,hurd,i386,ia64,kfreebsd-amd64,kfreebsd-i386,m68k,mipsel,ppc64el,riscv64,sh4,x32
 yosys-dev deb electronics optional arch=alpha,amd64,arm64,armel,armhf,hurd,i386,ia64,kfreebsd-amd64,kfreebsd-i386,m68k,mipsel,ppc64el,riscv64,sh4,x32
 yosys-doc deb doc optional arch=all
Checksums-Sha1:
 244fe0792374006cc875e29fc37b1fde75d0dec5 2337373 yosys_0.19.orig.tar.gz
 4dc1779969334a4be4d254bd82db9f8a303b439a 16948 yosys_0.19-1.debian.tar.xz
Checksums-Sha256:
 d527fd88a9f7101c6f8e37889b14add0b6d2c74c2c611295f3813db4f397518f 2337373 yosys_0.19.orig.tar.gz
 5cb976e010425aed2050c59f2492a66da4856132e7a141397d79ba4ec64c258b 16948 yosys_0.19-1.debian.tar.xz
Files:
 ad0e166c2053937c6b778a0ddf6d0b88 2337373 yosys_0.19.orig.tar.gz
 29b2cff0a694d09749637ce9afd1ce74 16948 yosys_0.19-1.debian.tar.xz

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

iQIzBAEBCgAdFiEE3z4uQkp+J5wuSwI6ucKa7rL0UKcFAmL89HQACgkQucKa7rL0
UKccFA//bMXNokF/SgXrDFtqmSj989mFpL5Ui6bZ318acRRK/n3cqbWnMYaPm2Yr
uDZOz8MTpWx2aFDv7W0u52mOYjDiQYFQVlrtd2HifR7CoVXC7hQ8QtViPOe7KDDJ
nhi0LPSpTA9HNH78KtHp4yZyjQegWRMBMjesSFtejmY8/AgpsInM05QWh0pnhNK1
oyMJky3KWzlug/fTAJ+C7xkqIsHgM39a7qVXmgjoiN0Lz1H/itUJEtIyREHgv3u0
B/1WddH0yTZCEYz7Tys1TP4ES/2yc/FMDkB5awP75+a5o3PoUADz2kdaa99iHk4Y
2ZoAjfx6UXeDArjlR26WYjDulapg/fmRY2k5+S4ojuzIKb+fRivC8pHLJAjpTmwb
zUlCGvf7x1368uVyuFO4a+vGt1DcYpQqFlDZlWmyV3AnQFYic70XsjzRXlN8+E/F
Ea8zhI6WeI9WQh0riVilXD0Pq20IBHx5+8SESlJ+YqCCAWcJfMaG1Cjp10Ls+nVP
bmBMg6YzNlr0eFKbatBX6i0DTwt0fZ7bruTeR+calJPJBIcUX/eA8qu2yebtm/FB
Jom9GApOy7IgBF5PhvIdht+HXlH6MtqrFqpBmwNf92VYPjPYDz+xVprOkICAYfe8
e4ZrUnCoYzVL2PKNzDyfhwbnw1Xiwra0S3pb8Z8ehyMGQVuFbO4=
=zdMA
-----END PGP SIGNATURE-----