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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkgemail@example.com http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits