[depqbf] branch devel updated (95bdb3a -> 11c32a7)
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Sun Nov 27 17:47:47 UTC 2016
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a change to branch devel
in repository depqbf.
from 95bdb3a depqbf.lintian-overrides: add override for no-shlibs-control-file for internal libqdpll.so.1.0
adds beacd67 Update changelog
adds 61d34d9 New upstream version 5.01
new a356df9 Merge tag 'upstream/5.01'
new e17c09d depqbf-manpages.patch: regenerated from gbp pq
new e51f450 depqbf-makefile.patch: regenerated from gbp pq
new 8c6e8ed bump Standards-Version to 3.9.8, no changes needed
new f4e723f debian/control: fix Vcs-Browser link
new ed53586 debian/links: fix libqdpll.so link
new 22e0769 depqbf.lintian-overrides: add non-dev-pkg-with-shlib-symlink
new 6b7fdf8 Ignore quilt dir
new 11c32a7 Update changelog
The 9 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:
.gitignore | 1 +
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 +-
debian/changelog | 18 ++
debian/control | 4 +-
debian/depqbf.lintian-overrides | 1 +
debian/links | 2 +-
debian/patches/depqbf-makefile.patch | 35 +--
debian/patches/depqbf-manpages.patch | 19 +-
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 +-
47 files changed, 388 insertions(+), 378 deletions(-)
create mode 100644 .gitignore
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/depqbf.git
More information about the debian-science-commits
mailing list