[depqbf] 01/09: Merge tag 'upstream/5.01'

[Thomas Krennwallner]

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

tkren-guest pushed a commit to branch devel
in repository depqbf.

commit a356df9d4c56dcf7eaa9d4b15942fa2d7c7158fa
Merge: beacd67 61d34d9
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Nov 27 16:54:19 2016 +0100

    Merge tag 'upstream/5.01'
    
    Upstream version 5.01

 DepQBF4J-0.2/jni/depqbf/NEWS                       |   7 +
 DepQBF4J-0.2/jni/depqbf/README                     |  18 +-
 DepQBF4J-0.2/jni/depqbf/makefile                   |  26 ++-
 DepQBF4J-0.2/jni/depqbf/qdpll.c                    | 254 +++++++++------------
 DepQBF4J-0.2/jni/depqbf/qdpll.h                    |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_app.c                |   6 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_config.h             |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_generic.h    |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c       |   4 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.h       |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag_types.h |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_exit.h               |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_internals.h          |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_main.c               |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_mem.c                |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_mem.h                |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_pcnf.h               |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.c             |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.h             |   2 +-
 DepQBF4J-0.2/jni/depqbf/qdpll_stack.h              |   2 +-
 NEWS                                               |   7 +
 README                                             |  18 +-
 makefile                                           |  26 ++-
 qdpll.c                                            | 254 +++++++++------------
 qdpll.h                                            |   2 +-
 qdpll_app.c                                        |   6 +-
 qdpll_config.h                                     |   2 +-
 qdpll_dep_man_generic.h                            |   2 +-
 qdpll_dep_man_qdag.c                               |   4 +-
 qdpll_dep_man_qdag.h                               |   2 +-
 qdpll_dep_man_qdag_types.h                         |   2 +-
 qdpll_exit.h                                       |   2 +-
 qdpll_internals.h                                  |   2 +-
 qdpll_main.c                                       |   2 +-
 qdpll_mem.c                                        |   2 +-
 qdpll_mem.h                                        |   2 +-
 qdpll_pcnf.h                                       |   2 +-
 qdpll_pqueue.c                                     |   2 +-
 qdpll_pqueue.h                                     |   2 +-
 qdpll_stack.h                                      |   2 +-
 40 files changed, 330 insertions(+), 356 deletions(-)

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