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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.12-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=any
 yosys-dev deb electronics optional arch=any
 yosys-doc deb doc optional arch=all
Checksums-Sha1:
 7be66d75a4ccbbd22c44bdc6ada6a56f64ce6a2e 2060970 yosys_0.12.orig.tar.gz
 b16b35df33d46a21b6b52e81a391929dbc9ed14d 16812 yosys_0.12-1.debian.tar.xz
Checksums-Sha256:
 0a7467058d11a5d905bf43a5f5fdafbbb22369365b7cc083215d8cf9a45975fa 2060970 yosys_0.12.orig.tar.gz
 ec4823ddd3babe9a2d97e92b71a1504d695c314c131a458b79f37beb4ce40314 16812 yosys_0.12-1.debian.tar.xz
Files:
 9f70cb145bf52866c18d331c0f040e1f 2060970 yosys_0.12.orig.tar.gz
 d4fc2471d22ae6d6f206d4a09cb31eea 16812 yosys_0.12-1.debian.tar.xz

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

iQIzBAEBCgAdFiEE3z4uQkp+J5wuSwI6ucKa7rL0UKcFAmH0a2AACgkQucKa7rL0
UKdQ3RAAh/cnHDfxrwhibht4WRMEK9DQYMLlTYmCPtxVXAs6N4p2jXddK1GJbmll
BMzS2B7LVgJJ8PF1V3GrvFHeO7X5UMDu2WUCRFILrIF2fyDqDNzS8W/t+wi4e3RZ
KU1atNvBIAElVT3JO4bH3KWTdqKtX2YoePnxCV5cy10gWwIrHGtOofsSQpFxL0WE
k2NuJcmd72rY9FgSHqoiKgc9EnUNz1WT/yU9N/DmzXb1P8DW+VTwxK5RSyWT3bkP
Kll+z7HBBgfQNtc2DlLnWGGB/TEj1qio0Qe0oXc8RcP6Tn/2SItb/O5u5nIXH1Yt
1ipeHxqKGgvZL7Y4xL2+wXhQwLa+WV1bY7UGfCiY5n2fxPR3FKkfGimm9dxtO9ZM
iH14RhSzn8HvtvEPGmBEvKNqMynhCiB+vopnnsXlVZbCOt+cWnr7nNd3GFrqTT+V
9QTLKcKbW+g8Y7xbsHMU0GgFcF0nZJmtvZ54OdoH674cVVqDEABQVO0ji18SlkbX
svHXkRPUBAIQ2DxIaQ30Ta36lIA2pS06QSAPZ+B6asjkqBW1hqmekPpAl/qqwPrw
3YedAjrRV9hm/VOXIzc35UppuLxlmKWaY0UnFnx0NPE1aM3E3l9fnD9H8Vxi0kmP
L1m8rpFqlpvKjbIvD/tvoLm4CVXrnRAkFrAHtUMrxvBv9Kp1LqI=
=BE/X
-----END PGP SIGNATURE-----