[yosys] 57/57: Merge branch 'debian' of github.com:rubund/yosys into debian

[Ruben Undheim]

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

rubund-guest pushed a commit to branch master
in repository yosys.

commit fa7a4261577ac56a377256a3a268601df100ec97
Merge: f325ff2 09e604d
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Wed Sep 17 18:06:20 2014 +0200

    Merge branch 'debian' of github.com:rubund/yosys into debian

 debian/changelog                       |  2 +-
 debian/control                         | 14 +++++++----
 debian/copyright                       | 12 +++++-----
 debian/install                         | 10 --------
 debian/patches/01_gitrevision.patch    |  7 ++++++
 debian/patches/02_removeabc.patch      |  4 ++++
 debian/patches/03_notruntests.patch    |  4 ++++
 debian/patches/04_installpath.patch    | 31 ++++++++++++++++--------
 debian/patches/05_abc_executable.patch |  8 ++++++-
 debian/patches/06_cflags_ldflags.patch | 43 ++++++++++++++++++++++++++++++++++
 debian/patches/series                  |  1 +
 debian/rules                           |  8 ++-----
 debian/yosys-config.1                  | 43 ++++++++++++++++++++++++++++++++++
 debian/yosys-filterlib.1               | 43 ++++++++++++++++++++++++++++++++++
 debian/yosys.manpages                  |  2 ++
 debian/yosys.menu                      |  2 --
 16 files changed, 194 insertions(+), 40 deletions(-)

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