-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 03 Dec 2022 23:15:20 +0100 Source: yosys Architecture: source Version: 0.23-6 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.23-6) unstable; urgency=medium . * Fix autotest error patch * Require berkeley-abc 1.01+20221019git70cb339+dfsg-3 to fix armhf Checksums-Sha1: 2a7a38a5800163b0810b4e33d132afb35cbabb36 2520 yosys_0.23-6.dsc b47ddbe165f67f46be47be32e2c8012f0c6d712e 18000 yosys_0.23-6.debian.tar.xz af5554abe16c61349c810b4202d7cd5915620441 7182 yosys_0.23-6_source.buildinfo Checksums-Sha256: 7ea97697e9838b880a111295424f24626fbee992623c5092d98c65505c56a535 2520 yosys_0.23-6.dsc 024f699915338300764bb4f82fb2de764edeb1f383832c6f447e6056c909f089 18000 yosys_0.23-6.debian.tar.xz 9f8b7db497f05318ef612ffb9a599c4809fdb7b66fd8831c4b5bd014eae87869 7182 yosys_0.23-6_source.buildinfo Files: 51fb184ccfcb610b3a13cd5100034c5d 2520 electronics optional yosys_0.23-6.dsc 4502da434f77cebe5a54c27f93106aa7 18000 electronics optional yosys_0.23-6.debian.tar.xz 5c523c43fbc2b704fee35ca7d00bbceb 7182 electronics optional yosys_0.23-6_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEV6G/FbT2+ZuJ7bKf05SBrh55rPcFAmOLytUACgkQ05SBrh55 rPekJhAAnkOOtIKYX/RTmbW7SbCQcWbaPF1JvW4JxyD2wrdEoNNb0CrOVZgTmrVr UFdeBpGkbTsBFMKIfRsn7sFVkN7yX69qpeJ4Ztoogl8oSqYM831wHJiMsVvHJduk BUezQAIlwEobiYN//dd91Xlr4awZ5i+QO7nte3UGX+O9QgXjWak+k+GmUuITe7tm twJzD8Y6fW86uy2uZ6UgXY2kHRFwJi6T7cXhfTXWz3X8W7OrGKfrxemr92uaAQYi 4LEkAAq5beegaHniiKdwvPzeoBbClhkjvvYuGOt7mevxOT9yaW4SgiNvDYGnnOwC kkKteyXCwxPvd/QEpEyn7XPZbJPniry3/6NSnuU9YRUHENind2vEMSBxL0Fj7z/A SGZjdZ80sYNi9Hd7+r4c7thlROgZPQI2s2jP0nDQOZFQ0R+BGkhl8QQ+3IVns7kE K8TQX+SrYouEA0a/LiyJUWqbLy65gGKxDtqQinEPapLrbmkktiTf+8apGaSDZpVp i5tWLLVQyqbJaZhd/WqR2JQHRScMBqUUTOkVxU7sk49fAf8itx2p0GukPNhUKHRW 6K0iC9z41qmv1as9yRTwvOSTNVRGZUUUIZXSMQkdKGeA3rDwE8bsawRA4eYqSUHy B+W9hX40sEx6idF4Jd9sjEFHTote5TPo5Oc+ky0Ke0a/5jKzCsk= =td2y -----END PGP SIGNATURE-----
