-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 04 Sep 2018 20:00:14 +0200 Source: yosys Binary: yosys yosys-dev yosys-doc Architecture: source Version: 0.7-8 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Ruben Undheim <ruben.undheim@gmail.com> Description: yosys - Framework for Verilog RTL synthesis yosys-dev - Framework for Verilog RTL synthesis (development files) yosys-doc - Documentation for Yosys Closes: 907211 Changes: yosys (0.7-8) unstable; urgency=medium . * d/patches/0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch: - Disable test which fails some times when being built (Closes: #907211) Checksums-Sha1: 9082bc1f072a1ba90218f2fe54ffece09ea61ed3 2608 yosys_0.7-8.dsc 16e136c90db23e44f264e8d81fc19a0b4f6b1f10 16048 yosys_0.7-8.debian.tar.xz Checksums-Sha256: 2f1e7853a0aa3c944f3f5371d56412b99dc527d7021fdd6ae702254b85f230f0 2608 yosys_0.7-8.dsc 872a0492c17378150dcd3bfbf385ffd1ec7420305b3384758cb7e3afbd5c672d 16048 yosys_0.7-8.debian.tar.xz Files: 236a82b7f62994dc319fc5b1b522f927 2608 electronics optional yosys_0.7-8.dsc a4c376ac5cdfba646eebafd14e77365a 16048 electronics optional yosys_0.7-8.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJMBAEBCAA2FiEENHTECWcp7QxRgH085pgix+ApWM0FAluOy7oYHHJ1YmVuLnVu ZGhlaW1AZ21haWwuY29tAAoJEOaYIsfgKVjNpGUP/0BL8gvg1bt51WyBXHTjbq3M 1IRP6K9nhwoS+Vmj7/qxJ8X2fKDEDL24LbjCxNwz1Q4TwNS+WVaFhuwqnJo9wikc z8sRQx4eMs1Gl4n7CCB486KNMNhkAVlxRK7eODgJx1tihl+0zetaCxssev7VMehO 48m1caUV3JW6nDLtdxW57TdnB6Y2CzYLCOByTKbVcAAGINba9iwQvC+wGBnvarvc e+KMd2LIImIBS6uSjQXPnf9zd+EQ4BC2qjOXDdMvDZG+5z+FM/J3yFIke6zO6puS h2cjEoFTsH2Lr9r8IXLtq0mdnEb7srsmaq7eaZK4qYRdiV8AyKrnuWEmO4pS8K69 N8gUjvgrApc2o9dPdLF612eVmcPaU2lJk2E9eDIHvahe1B6t/bOc/9+jCUuSxS7Q gOVmAABoyIbiSRuWTtU40U0zshHarx+ovaoBej6hQhHtnXMyGiP1WgoJu95SF/T3 OoadCGK6Rg3rk7McNrlDRiyFwS5Y58c/vpGIVyEoWO0uTROJnztT6NULjVkzr31O raDbc81Kw/WqGud57iDTy1lpMd4W7s7mmdN+/Z1gGodi1elwo+GxPqREwKiV9Ycw BPVw8qbtE2nNCtrVuwvINB285Hk8V60Re3vzVezIRN/ksCZtGAw3pL86uR2rvpvz rPW3xafwo1hozZ9HCG0P =1Mo9 -----END PGP SIGNATURE-----
