[depqbf] branch devel updated (0a289ae -> 3fdf39e)

[Thomas Krennwallner]

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

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

      from  0a289ae   Use github archive instead of deprecated githubredir.debian.net.
      adds  51517d2   Imported Upstream version 3.04
      adds  4c08edf   Merge tag 'upstream/3.04'
      adds  f1d8ff2   Merge branch 'devel'
      adds  29c435f   Update changelog
      adds  ccec180   Fix lintian warning debian-changelog-line-too-long.
       new  3fdf39e   Merge branch 'master' into devel

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:
 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 ++
 qdpll.c                                            |   8 +-
 qdpll_app.c                                        |   2 +-
 40 files changed, 1313 insertions(+), 16 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