-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 18 Aug 2023 17:52:25 +0200 Source: yosys Binary: yosys yosys-dbgsym yosys-dev yosys-doc yosys-src yosys-tests Architecture: source amd64 all Version: 0.30-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Daniel Gröber <dxld@darkboxed.org> Description: yosys - Framework for Verilog RTL synthesis yosys-dev - Framework for Verilog RTL synthesis (development files) yosys-doc - Framework for Verilog RTL synthesis (documentation) yosys-src - Framework for Verilog RTL synthesis (source code) yosys-tests - Framework for Verilog RTL synthesis (testsuite) Closes: 1015712 1047992 Changes: yosys (0.30-1) unstable; urgency=medium . * Demote xdot to Recommends * Add patch to fix building with LTO (Closes: #1015712) * Enable LTO * New upstream version 0.30 * Fix dsc build after binary build (Closes: #1047992) * Add autopkgtest for abc integration testing . [ Steffen Möller while sponsoring ] * Removed d/gbp.conf debian-branch pointer to experimental. Checksums-Sha1: e7ebda60490ba39b17405f3290741adde8e7229e 2743 yosys_0.30-1.dsc 7b1f00fcb2acbb09d3a5e39040593c410883f0c2 2542403 yosys_0.30.orig.tar.gz 6ea9c40d55b55fa2c5ff380c1a719133acc9ab1f 20644 yosys_0.30-1.debian.tar.xz 9d54cbda49cbbb42f098c2af9b1f8de76fed6a93 51450012 yosys-dbgsym_0.30-1_amd64.deb 9e6e820c6df807c6614af2373d72ef06433f4522 96040 yosys-dev_0.30-1_amd64.deb 9896652da2e2e687de90c010aa887b1480a016bc 1978076 yosys-doc_0.30-1_all.deb e08cafd1a1e6ca943d89788a93a5067704ad48d4 387237268 yosys-src_0.30-1_amd64.deb ff39985cc765b50e4a15d6fb1ff04e688239c244 22156 yosys-tests_0.30-1_amd64.deb 80fd41bdc852bd3b59ab48cea38cf8cbe9250c9f 14054 yosys_0.30-1_amd64.buildinfo c5a53d65f9260d68ddf2d6bbda64db655ccc48e5 2977468 yosys_0.30-1_amd64.deb Checksums-Sha256: 4498f17220c2591112ed8aba3ed85384947fc0c7dd02b2efbfcfbc6a79ed1427 2743 yosys_0.30-1.dsc 1b29c9ed3d396046b67c48f0900a5f2156c6136f2e0651671d05ee26369f147d 2542403 yosys_0.30.orig.tar.gz 6cb75c02fb88405fa248bbd144b22f8d9c81b125d2e729f3a23fea610cf19807 20644 yosys_0.30-1.debian.tar.xz a1a0bbcb8181a67fe9313f8877cae067b5c49b28c2ed9e88431bf31020b1dfd0 51450012 yosys-dbgsym_0.30-1_amd64.deb 1db01ffe9ba8249ae376b3f5337de3eb90f730184e2176445f30ca8980af1124 96040 yosys-dev_0.30-1_amd64.deb b7fa6c6f1299f0927b440a30928257375d00fe3783e3679054edf5c26e98afaa 1978076 yosys-doc_0.30-1_all.deb 7db1c67dbc10fae35c19ce67014adfc7ffe8caa7dd3fa20ece485f772b28f656 387237268 yosys-src_0.30-1_amd64.deb 4c90ecc9a0d4706a39db61871108045daa898d13f8efbf2ab38151977ad55577 22156 yosys-tests_0.30-1_amd64.deb 0ae347d6cda3ce9a582812fa8d4dd3557b3133545f20b4ce1441d8e95e7bad97 14054 yosys_0.30-1_amd64.buildinfo 6c0852a8c673dcd62b170cb8343e6ef0af1e107ac6dc56dec0593db4dc709acd 2977468 yosys_0.30-1_amd64.deb Files: 4cc58f9eca75710e49c929368583ff55 2743 electronics optional yosys_0.30-1.dsc c32c670b024084969ba8f22b036d9b60 2542403 electronics optional yosys_0.30.orig.tar.gz 9a093d1f5ba7c806f179b017b61cfb3f 20644 electronics optional yosys_0.30-1.debian.tar.xz 625467232e32f0d88372d4a3be795fb6 51450012 debug optional yosys-dbgsym_0.30-1_amd64.deb 56df6598cb248ba1156eb4d7447fbc6d 96040 electronics optional yosys-dev_0.30-1_amd64.deb f3e8af072a0e0c85430fff0cc5233155 1978076 doc optional yosys-doc_0.30-1_all.deb 2fec1d33e2fe806a656fa77749da282c 387237268 electronics optional yosys-src_0.30-1_amd64.deb 3ff1fb097c9499b8a287e6e0b61f451b 22156 electronics optional yosys-tests_0.30-1_amd64.deb 992cfbaa73ac8fdd193236fec7c448c7 14054 electronics optional yosys_0.30-1_amd64.buildinfo 6e1b0d08d8eee028be5a063537da4913 2977468 electronics optional yosys_0.30-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEE3z4uQkp+J5wuSwI6ucKa7rL0UKcFAmTjz/4ACgkQucKa7rL0 UKfWKA/9GeX4MnzbqoB+JTcasnbfoBOv4xmoeGltlUlVT/z1EhtQJEvAIvnn/aAo iATZYo5DBdI2L8tdxxWuI2jO/mhqi8ADR0vmPJmWKkSKrefRF1Pih5s+fxuFCbJL qG1x+4A5oez6/RsWnEHxkE0w21pCCnVVE+NzHpCckmDGk2J/SrRAkwcPWZf+CmNs vZaA6R3Av74K31XprV6E37NMryjM8hibIT2TlymBIP5LlXR4ljtAeOaHNg/lXmdQ AIxS3hBpwlLZF5m0kDWiMPPa6l1H9jBhD7zyZrLSeDycwTLrjLCjWnTJpRTkkWlW 8cZmI8fkFpw/ChWi08Ai/HNSOH4ztYXUv23zZMTJuwYHV0syHw2deBXr4kQdoKeT XOhV+6dQHQnQicSJIpjBARz/12d936W2gxSDkvzFl6BpPlgbCHPmjQORarbO+13Z pFur+PspPAH0FlpahyHbkTQT0OSu5egCBbghS5/WSQoTKoVFNg2RL+lBfv3NUBT2 jgrkows1hCxkmz+D1mMch9hgxjQ217D1kfm5iP5sc61b2i9yBbr51DwdYl2b4GcS 07izB3q9efa8JwwtBlg/dBcg3m87xfvyPqiXTFTJujYdELsTOtxC2Xz20vpGIQ6u Tdei9YIIbJpUvJ58b5K0FoT7piChi9uNakgFRqY2QJDm+oXnAJc= =4CKb -----END PGP SIGNATURE-----
