-----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.18-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.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 (= 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:
 7802be8cbb7d5220aff7be5f94d6465025a600e6 2318962 yosys_0.18.orig.tar.gz
 5efe64669110dbdc8ca66dd05f911a079a09033f 16856 yosys_0.18-1.debian.tar.xz
Checksums-Sha256:
 bca36cf206b400f0878b823747ccac56eba26b86fbec959ce59b1ee27678ad81 2318962 yosys_0.18.orig.tar.gz
 32fb126b0d93e88203d7df9f4cfd5592e5a781c32d6d839ad5f90aac50163510 16856 yosys_0.18-1.debian.tar.xz
Files:
 623396e3661f37c75145ae7772c71052 2318962 yosys_0.18.orig.tar.gz
 5e909271fe1cd13417fe20fa1a4c48ea 16856 yosys_0.18-1.debian.tar.xz

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

iQIzBAEBCgAdFiEE3z4uQkp+J5wuSwI6ucKa7rL0UKcFAmLAPVEACgkQucKa7rL0
UKfTzg//fXXeOHFa+FMOpQHZPDEaUWals6lHafFLqUZmHT6djJvGMFu4Y1X85XVR
aNHFojEi2Vwb9uOArQuxW7bh6ozMqQgZrz3WVXwbfSFCmmzCEh6H/ukNLB3qo4Ya
b7KhEUM1U7SEk0oTZakMd4t1VSwwzM0OQZR/lOesEveNBTD3lxgQ11Tx++7wLqK1
1s2AQxjQL6B9tI4uFYr1LAEm9hmOvg6RO0zo4pt7Djp7C1OUt/ae5RHk69rPyXIl
KPtfFC3mZKw6GbwF/qYtOj4ixNlNd+hzjmE8PKk/5OvNbXrzXe3H7kStQIXm+24Q
Pu5UoPfJHmUesNG7zIkRkeDjEuB3h3L7FO0iSjjvNzIadkG6uuuZ+Zc8y1jPxnaG
Wl+aJx5+Fi0pQ6sdYHfJSwOvptpKXyBwrNIOMywgN108qpq2MZLl12trp+/X5N4m
G1XJsut8ilYMmDOs3nrl57F6OwVexsbULs5u7bzYTvLhwjsq0oyGd+jYk4buFeup
aFtui+9xZFdbVQvEuw5sY7VosANP7uvwGA5bKLHx1C3cmCTSJ4m9l29nrKmwwbVE
3OFsIYNPeCNdlu5bTo2+y/P9USiVtP+mk1nQ8xkCuXLKy0odJ6Sjb+5zm/XFZN+w
h4kAexbQmg2NabGBCsUjOLKAwPQVuaAeUxt5Gka1HNRkBGu01B0=
=vD/6
-----END PGP SIGNATURE-----