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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-doc, yosys-src
Architecture: any all
Version: 0.30-5
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
Testsuite-Triggers: yosys-tests
Build-Depends: debhelper-compat (= 13), dh-python, tcl-dev, libreadline-dev, bison, flex, gawk, git, libffi-dev, pkg-config, txt2man, iverilog (>= 10.1), python3, berkeley-abc (>= 1.01+20230625git01b1bd1+dfsg-3)
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, tex-gyre, latexmk, lmodern, graphviz, pdf2svg, python3-sphinx, python3-sphinx-press-theme, python3-sphinxcontrib.bibtex
Package-List:
 yosys deb electronics optional arch=any
 yosys-dev deb electronics optional arch=any
 yosys-doc deb doc optional arch=all
 yosys-src deb electronics optional arch=any
Checksums-Sha1:
 7b1f00fcb2acbb09d3a5e39040593c410883f0c2 2542403 yosys_0.30.orig.tar.gz
 28f611079747c4bd9cb923d6f93ca6b9a64809f5 21424 yosys_0.30-5.debian.tar.xz
Checksums-Sha256:
 1b29c9ed3d396046b67c48f0900a5f2156c6136f2e0651671d05ee26369f147d 2542403 yosys_0.30.orig.tar.gz
 e4baba18408b2a93a9109fb081df20eb3c2d0145c2e27ad8c68fc077b9ae73ab 21424 yosys_0.30-5.debian.tar.xz
Files:
 c32c670b024084969ba8f22b036d9b60 2542403 yosys_0.30.orig.tar.gz
 1670fb9059a33cb6c588edd362da935c 21424 yosys_0.30-5.debian.tar.xz

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmTmGpkACgkQ05SBrh55
rPdPHQ//Rd7DO3HtnC/J2K0DG3Hn1cUs9rcdmtd2ORiVghnglt0pRh7BRQDnAcW7
eCCXsq97QTXuLBxmS7tOguQJyvVdtK/BMmGcJfUbY0A+v0KqgYZi5uruSnplrrog
TDJalMiH1n9D52d2BGsOuYHv0YoLTcUTJqpi/ubUC+R8MrwKVu41zkFINcuwS1rR
bx7A0JbCaAU2nXv73qAXWqXqKwumoP+J4mDWSUYbbgPFLYGPKPgsGhCgBHY7zB3T
RLOlt/j7gMk3IcG6saI94ztc1ir14IHewgY4uoJs3u69B2qX0ENjE6DD7yq5IW7d
GmSs4GExdhgc04wNNSERO9WItv4tw66d25xGWChtJNTyPj/tv+Y0e8cfDo8YQ6iF
Nkg3ZMRc/u7t3E//XU1gz/y77ACQxW9FQu5rc0hMLlD6XVhym6k603m0VHoqGaBZ
uT0rnwtaq8wL/wCXnY2yKfaEtghDOG67bWXBKTzZwPF/VfJ9lot48gF7SY7x9xW1
n7m3VvRCcoEjIWPdQJ+B4hZ1tTtqXps1+IYwmJ/pKUI3f/mQQXnq+r6fzEfz8rN+
/9vQp+ZHRYPdtubr/V70tLLVEOxOVPjYvkiChNMNeyLRk7/2WSf908KHLC0YKcKf
whRa/AOs/82r5wl9fgVqZ0w6XvB0L2Izw+zU1j4MIat8W1h7VL4=
=o+YB
-----END PGP SIGNATURE-----