[Pkg-ocaml-maint-commits] [dose3] branch master updated (8260abe -> 3842cb8)

[Johannes Schauer]

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

josch pushed a change to branch master
in repository dose3.

      from  8260abe   remove patches cudfSolver-fix-leaking-fds and encode-package-name-in-cudf_extras
       new  be7f2b1   upstream moved deb/format822.ml to common - adjusting d/copyright
       new  ad817f9   upstream moved ./deb/version.ml to ./versioning/debian_version.ml
       new  3e0d6e0   add d/copyright paragraph for common/shell_lexer.mll
       new  0d80756   reenable `make doc` with a patch against upstream
       new  9784c7b   bump d/compat to 9
       new  1d59d49   d/rules: simplify override_dh_auto_configure target
       new  1523a30   run dh-autoreconf to make sure that everything can truly be built from source
       new  3842cb8   add d/missing-sources with sources for bootstrap.min.js and jquery-2.1.3.min.js, document in d/README.source and add d/copyright entries

The 8 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:
 debian/README.source                   |   24 +
 debian/changelog                       |   22 +-
 debian/compat                          |    2 +-
 debian/control                         |    2 +-
 debian/copyright                       |   39 +-
 debian/libdose3-ocaml-dev.docs         |    2 +-
 debian/missing-sources/bootstrap.js    | 1951 +++++++
 debian/missing-sources/jquery-2.1.3.js | 9205 ++++++++++++++++++++++++++++++++
 debian/patches/make-doc-target-work    |   22 +
 debian/patches/series                  |    1 +
 debian/rules                           |    9 +-
 11 files changed, 11262 insertions(+), 17 deletions(-)
 create mode 100644 debian/README.source
 create mode 100644 debian/missing-sources/bootstrap.js
 create mode 100644 debian/missing-sources/jquery-2.1.3.js
 create mode 100644 debian/patches/make-doc-target-work

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/dose3.git