[yosys] branch doc-dev-debs deleted (was 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.

       was  0bf2ce7   add yosys-dbg.deb, with debug symbols

This change permanently discards the following revisions:

  discards  0bf2ce7   add yosys-dbg.deb, with debug symbols
  discards  1d12795   fixup dch: update changelog
  discards  c9f6950   fixup: yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev
  discards  8d70037   Revert "add a patch to install the headers in the normal place"
  discards  5bb4158   Revert "yosys-dev: install the headers from the new place"
  discards  e78c539   fixup: teach debian to build the docs (manual and presentation)
  discards  60b4417   comment the yosys-abc link so I don't remove it again
  discards  a8b9889   Revert "remove yosys-abc symlink, not needed now that yosys shells out to Debian's berkeley-abc"
  discards  6f54fc1   dch: update changelog
  discards  255f814   include ast.h in yosys-dev
  discards  b625622   yosys-dev: install the headers from the new place
  discards  2bf3943   add a patch to install the headers in the normal place
  discards  9cf94c0   fail the deb build if any files didn't get installed
  discards  e7bec8b   yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev
  discards  2565ed5   add yosys-dev
  discards  50fbd07   yosys: add .install file
  discards  15dc7b8   add yosys-doc
  discards  aa98fc9   teach debian to build the docs (manual and presentation)
  discards  9a9a2db   build the manual using headers from the source tree, not installed
  discards  43e9108   switch to a free font for the manual
  discards  87910ce   remove yosys-abc symlink, not needed now that yosys shells out to Debian's berkeley-abc

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