-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 01 Sep 2023 13:37:09 +0200 Source: yosys Architecture: source Version: 0.32-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Daniel Gröber <dxld@darkboxed.org> Changes: yosys (0.32-2) unstable; urgency=medium . * Source-only upload to facilitate testing migration * Protect only latex from locale environment * Prevent rebuilding world with -nc due to patch unapplication Checksums-Sha1: 5d1b6afb164e99d45005f9cbf20d239d743d48fd 2966 yosys_0.32-2.dsc cceba8597b9cbb3f2b64c089f722ac5b5889aa70 30840 yosys_0.32-2.debian.tar.xz a5e1c50d700d29e8fd5edd5da4d417712074da89 13481 yosys_0.32-2_amd64.buildinfo Checksums-Sha256: e93d5b7766e1da8934da2d207c93914ce80239b1ce2fb52a1d4dbf24adc32ffd 2966 yosys_0.32-2.dsc b98cfe40d1fe5ab5dffd915974190c4e14e6d6a0bf8ff15f5eb55c562d45f5b0 30840 yosys_0.32-2.debian.tar.xz d1840179c5fcc384a774663dae66341fbea775cc3e6253ccc68e5887bb2366fc 13481 yosys_0.32-2_amd64.buildinfo Files: 8258eb88aa84e0f18cf2855f90ff3a09 2966 electronics optional yosys_0.32-2.dsc 15fdc0c51ad03fd637c246abc609deb5 30840 electronics optional yosys_0.32-2.debian.tar.xz ebe47d68dd976257e849a20f67f6fc65 13481 electronics optional yosys_0.32-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmTx3DMACgkQ05SBrh55 rPdBnRAAmMc5qiuPNtnslWLWV6BRpAC4MVo9+yD37+Q+ceWmoeweLaautolo+9xt Ew1gmBwpIpA+SGu1L/13b8/bO2Svn4tpsT6WSEXK+pXyqAHaXYTkj/tUt6GVVUO0 FybDH/1hiF90p4BOb+de4Cyfg1LHwGuYaZfLdZwm522qQsElDwZkQHNOqk4s+YHf YbrnOdkslTtoLPAIVsJ5hUJ9sy24tFXAN5S9jHZZ9VuJdn1ziuxL3BnyHupXUGa1 zVMCWCDG4ibhoKIUzr41WbQNidKWbUD5iW2/pUtANs/3CdimPFsuI4mUfOUGaKBl 63Sq8zJUzdx9GboIe/z/uO8lBi+zn30jbQlBMWmSYKdcj9IqKkl3jZm8KG00/1Qx thJqV71rkYta+NmAbmlrXRidzPPyhU35CBA4Vh81JJ2LmwpwV7MHRewB0t/gsqPY FVeeh3GdXO/Zs8wPsbdls+KdFbE+iIIt1jZ00H+ntHctoD7BGcJt1A3SBYY8Jss6 Dg6GgE8zt5C4/QTvVhHdB3wx4s43w8csKzGrEM9YxVPPkngk6hT8RgVxMd7Fvwso GIYDyty0F2j2IGa37X6RLe8Qkipizihu24mDt5WyPd8gv+hmuBUhexI2qUr0SWuV YfK5DHPw3FxuPz0o/nzbcXDrgn6kSl1n3yH0NPX0nuz3BnHgVa0= =h7qm -----END PGP SIGNATURE-----