[depqbf] branch master updated (3222e1c -> ccec180)

[Thomas Krennwallner]

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

tkren-guest pushed a change to branch master
in repository depqbf.

      from  3222e1c   Merge tag 'upstream/3.02'
      adds  51517d2   Imported Upstream version 3.04
       new  4c08edf   Merge tag 'upstream/3.04'
      adds  314ec01   Bump Standards-Version to 3.9.6.
      adds  737d9ec   Fix Vcs fields to use anonscm.debian.org.
       new  0a289ae   Use github archive instead of deprecated githubredir.debian.net.
       new  f1d8ff2   Merge branch 'devel'
       new  29c435f   Update changelog
       new  ccec180   Fix lintian warning debian-changelog-line-too-long.

The 5 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:
 COPYING => DepQBF4J-0.1/COPYING                    |   0
 DepQBF4J-0.1/ChangeLog                             |   2 +
 DepQBF4J-0.1/README                                |  92 +++++++++
 DepQBF4J-0.1/jni/DepQBF4J.c                        | 204 ++++++++++++++++++
 DepQBF4J-0.1/jni/Makefile                          |  46 +++++
 COPYING => DepQBF4J-0.1/jni/depqbf/COPYING         |   0
 NEWS => DepQBF4J-0.1/jni/depqbf/NEWS               |   9 +
 README => DepQBF4J-0.1/jni/depqbf/README           |  23 ++-
 .../jni/depqbf/examples}/basic-api-example.c       |   0
 .../jni/depqbf/examples}/basic-api-example2.c      |   0
 .../jni/depqbf/examples}/basic-api-example3.c      |   0
 .../jni/depqbf/examples}/basic-manual-selectors.c  |   0
 .../jni/depqbf/examples}/makefile                  |   0
 makefile => DepQBF4J-0.1/jni/depqbf/makefile       |   0
 qdpll.c => DepQBF4J-0.1/jni/depqbf/qdpll.c         |   8 +-
 qdpll.h => DepQBF4J-0.1/jni/depqbf/qdpll.h         |   0
 qdpll_app.c => DepQBF4J-0.1/jni/depqbf/qdpll_app.c |   2 +-
 .../jni/depqbf/qdpll_config.h                      |   0
 .../jni/depqbf/qdpll_dep_man_generic.h             |   0
 .../jni/depqbf/qdpll_dep_man_qdag.c                |   0
 .../jni/depqbf/qdpll_dep_man_qdag.h                |   0
 .../jni/depqbf/qdpll_dep_man_qdag_types.h          |   0
 .../jni/depqbf/qdpll_exit.h                        |   0
 .../jni/depqbf/qdpll_internals.h                   |   0
 .../jni/depqbf/qdpll_main.c                        |   0
 qdpll_mem.c => DepQBF4J-0.1/jni/depqbf/qdpll_mem.c |   0
 qdpll_mem.h => DepQBF4J-0.1/jni/depqbf/qdpll_mem.h |   0
 .../jni/depqbf/qdpll_pcnf.h                        |   0
 .../jni/depqbf/qdpll_stack.h                       |   0
 DepQBF4J-0.1/src/depqbf4j/DepQBF4J.java            | 227 +++++++++++++++++++++
 .../src/depqbf4j/Example_basic_api_example.java    | 149 ++++++++++++++
 .../src/depqbf4j/Example_basic_api_example2.java   | 191 +++++++++++++++++
 .../src/depqbf4j/Example_basic_api_example3.java   | 163 +++++++++++++++
 .../depqbf4j/Example_basic_manual_selectors.java   | 134 ++++++++++++
 DepQBF4J-0.1/src/depqbf4j/Makefile                 |  25 +++
 NEWS                                               |   9 +
 README                                             |  23 ++-
 debian/changelog                                   |  12 ++
 debian/control                                     |   6 +-
 debian/watch                                       |   4 +-
 qdpll.c                                            |   8 +-
 qdpll_app.c                                        |   2 +-
 42 files changed, 1318 insertions(+), 21 deletions(-)
 copy COPYING => DepQBF4J-0.1/COPYING (100%)
 create mode 100644 DepQBF4J-0.1/ChangeLog
 create mode 100644 DepQBF4J-0.1/README
 create mode 100644 DepQBF4J-0.1/jni/DepQBF4J.c
 create mode 100644 DepQBF4J-0.1/jni/Makefile
 copy COPYING => DepQBF4J-0.1/jni/depqbf/COPYING (100%)
 copy NEWS => DepQBF4J-0.1/jni/depqbf/NEWS (64%)
 copy README => DepQBF4J-0.1/jni/depqbf/README (92%)
 copy {examples => DepQBF4J-0.1/jni/depqbf/examples}/basic-api-example.c (100%)
 copy {examples => DepQBF4J-0.1/jni/depqbf/examples}/basic-api-example2.c (100%)
 copy {examples => DepQBF4J-0.1/jni/depqbf/examples}/basic-api-example3.c (100%)
 copy {examples => DepQBF4J-0.1/jni/depqbf/examples}/basic-manual-selectors.c (100%)
 copy {examples => DepQBF4J-0.1/jni/depqbf/examples}/makefile (100%)
 copy makefile => DepQBF4J-0.1/jni/depqbf/makefile (100%)
 copy qdpll.c => DepQBF4J-0.1/jni/depqbf/qdpll.c (99%)
 copy qdpll.h => DepQBF4J-0.1/jni/depqbf/qdpll.h (100%)
 copy qdpll_app.c => DepQBF4J-0.1/jni/depqbf/qdpll_app.c (99%)
 copy qdpll_config.h => DepQBF4J-0.1/jni/depqbf/qdpll_config.h (100%)
 copy qdpll_dep_man_generic.h => DepQBF4J-0.1/jni/depqbf/qdpll_dep_man_generic.h (100%)
 copy qdpll_dep_man_qdag.c => DepQBF4J-0.1/jni/depqbf/qdpll_dep_man_qdag.c (100%)
 copy qdpll_dep_man_qdag.h => DepQBF4J-0.1/jni/depqbf/qdpll_dep_man_qdag.h (100%)
 copy qdpll_dep_man_qdag_types.h => DepQBF4J-0.1/jni/depqbf/qdpll_dep_man_qdag_types.h (100%)
 copy qdpll_exit.h => DepQBF4J-0.1/jni/depqbf/qdpll_exit.h (100%)
 copy qdpll_internals.h => DepQBF4J-0.1/jni/depqbf/qdpll_internals.h (100%)
 copy qdpll_main.c => DepQBF4J-0.1/jni/depqbf/qdpll_main.c (100%)
 copy qdpll_mem.c => DepQBF4J-0.1/jni/depqbf/qdpll_mem.c (100%)
 copy qdpll_mem.h => DepQBF4J-0.1/jni/depqbf/qdpll_mem.h (100%)
 copy qdpll_pcnf.h => DepQBF4J-0.1/jni/depqbf/qdpll_pcnf.h (100%)
 copy qdpll_stack.h => DepQBF4J-0.1/jni/depqbf/qdpll_stack.h (100%)
 create mode 100644 DepQBF4J-0.1/src/depqbf4j/DepQBF4J.java
 create mode 100644 DepQBF4J-0.1/src/depqbf4j/Example_basic_api_example.java
 create mode 100644 DepQBF4J-0.1/src/depqbf4j/Example_basic_api_example2.java
 create mode 100644 DepQBF4J-0.1/src/depqbf4j/Example_basic_api_example3.java
 create mode 100644 DepQBF4J-0.1/src/depqbf4j/Example_basic_manual_selectors.java
 create mode 100644 DepQBF4J-0.1/src/depqbf4j/Makefile

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