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

Format: 3.0 (quilt)
Source: yosys
Binary: yosys, yosys-dev, yosys-abc, yosys-doc
Architecture: any all
Version: 0.51-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.2
Vcs-Browser: https://salsa.debian.org/science-team/yosys
Vcs-Git: https://salsa.debian.org/science-team/yosys.git
Testsuite: autopkgtest
Testsuite-Triggers: g++, gawk, gcc, gtkwave, iverilog, pkg-config, tcl
Build-Depends: debhelper-compat (= 13), dh-python, tcl-dev, libreadline-dev, libbz2-dev, zlib1g-dev, bison, flex, gawk, git, libffi-dev, pkgconf, txt2man, iverilog (>= 12), python3, python3-setuptools, libcxxopts-dev, gtkwave
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, faketime, pdf2svg, python3-sphinx, python3-sphinx-press-theme, python3-sphinxcontrib.bibtex, python3-click
Package-List:
 yosys deb electronics optional arch=any
 yosys-abc deb electronics optional arch=any
 yosys-dev deb electronics optional arch=any
 yosys-doc deb doc optional arch=all
Checksums-Sha1:
 a5e86cad7a50606a3d430790153b7267cffcfa06 6655928 yosys_0.51.orig-abc.tar.gz
 64794f7985dbffe42b55ff439e7cf864c8ccb116 3289010 yosys_0.51.orig.tar.gz
 f7736fc6b45a0b066615570cfae31cd453fe828a 22964 yosys_0.51-1.debian.tar.xz
Checksums-Sha256:
 1b0d023a5f76088fe46de76ddec3d0835f337bea333669a0cbcd289e1accc330 6655928 yosys_0.51.orig-abc.tar.gz
 aeec40346c862b08dfa1fb9c67c410cca5630828cb8ebfa2f79cda12d78ded99 3289010 yosys_0.51.orig.tar.gz
 9c760d6fb2d0982ed1441ddbe6691ea4756a3f1cb38e56e62ccbcfba37233dd7 22964 yosys_0.51-1.debian.tar.xz
Files:
 62146c4af5461e9b3093fa90ad7287e3 6655928 yosys_0.51.orig-abc.tar.gz
 876cbb8c6f316a38bf69e7de808d8694 3289010 yosys_0.51.orig.tar.gz
 9d78cc81106b9d9940ff6beebc1dea32 22964 yosys_0.51-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmfZaCMACgkQ05SBrh55
rPe5Vw//da/8emEZCzVihazd236six9X8Yx16ak25eOfNTFUovufZpIDyTGtyvDe
I3yaw0kCURcP+GXYHdTWXrdyipmPgbP/Dyyf8+WKqadA3KWcna+nEpwnmQ9fem0J
/O3n1iR7RwMB7jXbIJ2mBQKc/NcKoG8iLA6fkdFABWjlK+BKbBZ5Z5MKEFQlsVdQ
vGxIt8d5+ydguKgKm+6ASOvDnRchOn24QRAk2n0c7rJ46yJzvIg64shpzjY4aBEh
SNGD5DhHiL2BwkMeUalIgLduAmwnkCSkZJUK9DCX/uP6qmxlnlZA7BjnE8rQNMAo
reVeWqYhc3CnBM1ICa9KhwO0jpps/ZA23NSahodjq6q5eC/nOFm6AojsLc5dGzht
Ql8a/6+MSVsteQtU4wQuO80L3dlwztrNODsSDysp9gOlYMdao0rs9HLUWLJk9asB
hNKw0nfY6UaxEzTAJtGWTOj7rbi3Y9U2ecdmyMfPmTEgqeYuA3EO23QtPVEo+ENM
OtFgvhH4jhW5dRjPmOMNrrnsGv0QgfDBmNSX6wXmHf5iWy/xxrY0ZcE8Kp7sOoBS
XBlLmb3Ko1jnCgjjBBnVOq4vpWra7VO19eBAvieLC8cOwL4Zmkd4vHCToN5mfpfd
OgxRDkiHg8ncg8rVhhrHJ/9bROjjV9m3sEdFe5DrjjU68f7rm/M=
=5XhP
-----END PGP SIGNATURE-----