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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc
Architecture: any all
Version: 0.15-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:
 db6394c8a29a9b1cd5523cd18a5c9dc3b8d464eb 2245412 yosys_0.15.orig.tar.gz
 e7b48d5c43983760535674a71d1c50580dc166b7 16528 yosys_0.15-1.debian.tar.xz
Checksums-Sha256:
 a40fcc487d2a31c2abc6f61d39a84e262f2650e40de479542bbde317308c4612 2245412 yosys_0.15.orig.tar.gz
 be2d6127de7b96c126a2d73d6cd64b42a1e5bdce2adbc143bde5675c363603c5 16528 yosys_0.15-1.debian.tar.xz
Files:
 90b55f4f18a5c238584238d12bfa46e0 2245412 yosys_0.15.orig.tar.gz
 c9179558a30b97eed649e3f06894b39b 16528 yosys_0.15-1.debian.tar.xz

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

iQIzBAEBCgAdFiEE3z4uQkp+J5wuSwI6ucKa7rL0UKcFAmJAbmwACgkQucKa7rL0
UKfPEw/+N6UNYvxveCOarN80BL57x0dav1To493xQmkwTdix9A0f/mUGPum6tEOs
idCIiaXmye79g2sGK6SMWgXo97uJzRTD2nluSAhd/mPazcozZ3kDDmacnx2eKTKJ
nAYM+BNMsUzDZ+szosxhPjSOY8ONs8htrUOR0QXVtWy1CBGBZWxVbWmW0+KkHW9X
JHTMorGrG3+NerXT7nH389XtUNPHmamtu0da4jUi5pjR89i7qxmDNclRyGjDOLLH
sA4g4ZvRwDASkk0zUY8qJer3sflfp3hUQplJUYas5Xv9d0es3tRy9XoTtDeTwtc1
Q2fjv5GexTlvaNCfCR9vpBJhOjTFythg35oau1eHHuKyqDNyf8fBZmE1KGD7haV7
Q3K4Bt+vNOOwG9+lM2WC+ln/58qQHJb7TPnlGUKrnY5edY9O6mP4/0p5x6IApAV2
QqiFDDZhv5IEh91Idqi2sRwnII9aj5bWLgn/XxkoAsc+LI+OLqoLgEDUD6o/TIPt
nG1dBjAlKN/hDlhiUhwhov9Mu5jEZNOTWakQQjFRU7F3oOGSms6ZWIvxodJDPQ6A
eBKX5398BDeQvSAIYvHbISeTUKHKKQi+qFCDGPaPW+yo8atVD4KVyVo25SRCuiHf
6dQ7Oe9luh6D1t1b6hNR+9ZVu6H1iSUCaE38gzBgbcsDtU18VbY=
=IXcv
-----END PGP SIGNATURE-----