[yosys] branch doc-dev-debs updated (1d12795 -> 0bf2ce7)

[Sebastian Kuzminsky]

This is an automated email from the git hooks/post-receive script.

seb_kuzminsky-guest pushed a change to branch doc-dev-debs
in repository yosys.

      from  1d12795   fixup dch: update changelog
       new  0bf2ce7   add yosys-dbg.deb, with debug symbols

The 1 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 debian/changelog |  1 +
 debian/control   | 12 ++++++++++++
 debian/rules     |  3 +++
 3 files changed, 16 insertions(+)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git