Bug#921911: yosys 0.7-2+deb9u1 flagged for acceptance

To: 921911@bugs.debian.org
Cc: 921911-submitter@bugs.debian.org
Subject: Bug#921911: yosys 0.7-2+deb9u1 flagged for acceptance
From: Adam D Barratt <adam@adam-barratt.org.uk>
Date: Sun, 10 Feb 2019 19:12:03 +0000
Message-id: <[🔎] E1gsuWJ-0006KS-10@coccia.debian.org>
Reply-to: Adam D Barratt <adam@adam-barratt.org.uk>, 921911@bugs.debian.org
References: <[🔎] 154977246884.12807.16608827935733431637.reportbug@zam581.zam.kfa-juelich.de>

Control: tags -1 + pending

Hi,

The upload referenced by this bug report has been flagged for acceptance into the proposed-updates queue for Debian stretch.

Thanks for your contribution!

Upload details
==============

Package: yosys
Version: 0.7-2+deb9u1

Explanation: fix "ModuleNotFoundError: No module named 'smtio'"

Reply to:

References:
- Bug#921911: stretch-pu: package yosys/0.7-2+deb9u1
  - From: Andreas Beckmann <anbe@debian.org>

Prev by Date: Processed: vulture 0.11-1+deb9u1 flagged for acceptance
Next by Date: Processed: graphite-api 1.1.3-2+deb9u1 flagged for acceptance
Previous by thread: Bug#921911: stretch-pu: package yosys/0.7-2+deb9u1
Next by thread: Processed: yosys 0.7-2+deb9u1 flagged for acceptance
Index(es):
- Date
- Thread