-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.23-4
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=any
 yosys-dev deb electronics optional arch=any
 yosys-doc deb doc optional arch=all
Checksums-Sha1:
 9342699bb2c6291bde6c856de887b66d48da022a 2369493 yosys_0.23.orig.tar.gz
 51c1547655093eab9645f83e1adb815cb23dbde6 17760 yosys_0.23-4.debian.tar.xz
Checksums-Sha256:
 ec982a9393b3217deecfbd3cf9a64109b85310a949e46a51cf2e07fba1071aeb 2369493 yosys_0.23.orig.tar.gz
 09a6b034f55acd0cd8fac88ea23d60eafb91e2080b0fdfaff64c0dfe02e29b7c 17760 yosys_0.23-4.debian.tar.xz
Files:
 2d9b5d14898c01b8a99cf531a7163a48 2369493 yosys_0.23.orig.tar.gz
 d4d3f83a6a2928f9debc300f00a76e77 17760 yosys_0.23-4.debian.tar.xz

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmOKGa4ACgkQ05SBrh55
rPfgrxAAv4R2dJ4lNUtbU1jJYKSLimOeNfqqvWPN3MSfQWTuHSaJTWfO6N2+BbPh
7G8uhFW9AnjuWOfKiK6mH7isI0oUtSbz7EC6auSEGk/0YZ9Eu5174A2J97DcGcXl
JYg6zgRyj+kWyOidCIIuVmReledJS6YX8I+/+WKeIBqfUCmML/xt8xVdUhXfPRdK
HL4k2ketZKk+xs/pDBkULYrd2zispe2AI0ni+Nec4xCPa7CuBdhF5/Qn4iXYMb34
mwHVCnOFE/hZBw3362XtxPn9yR7waXwzYTlEgkMFn36IdatKI7tgzLIb0FlK3eyV
YkJ0Q0D4aL/QSN8nfsKWQ0OswN7nArlJrwQzMZQBjAZciyRvqcFtq1jH7eKmkwTU
hEYJgzwKXkvezt4fGVsjudC/Km1iH0LOEf7+BvUPeq9qi5QTdAv111pYjmCPbMpO
8NaW9HA8Iz1a97C0TpbjNIgKn0PlwzEaF9mrZxn8RvGcEw56ghitxPemAVhAOLHc
SjbTkI+J3GNPsaaaMZJWTunnKaiTBYivpZi/FpG3QRmeUJ/wcZNZbGmyOQRypelN
GaxJoKT6lVJfikGUzParIYxaWUO35UuP+QmagbKvg2VvhvKhsWROZRrroosAqu4C
qRH8UPjsSqR2BPkYq9GpxSjrUCRTj7azLLH3SIvaZ87ViXtzwuc=
=RGdy
-----END PGP SIGNATURE-----