[Pkg-ocaml-maint-commits] [dose3] branch experimental/master updated (fa704ca -> 61bac5b)

[Johannes Schauer]

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

josch pushed a change to branch experimental/master
in repository dose3.

      from  fa704ca   bumped standards-version
      adds  68bf9ba   Drop patch disable_dot because #809049 has been fixed. Restore build dependency on graphviz.
      adds  b5e95cb   Add patch 0001-applications-apt-cudf.ml-Do-not-generate-removal-req from upstream git master to let apt-cudf not create a removal request for upgrades or downgrades.
      adds  7c6aead   Refreshed patch binaries-prefix-edos
      adds  1784ebc   Clarify copyright situation of scripts/pack.ml in debian/copyright and patch the copyright header of scripts/pack.ml accordingly with a new patch called 0001-fix-licence-header.patch
      adds  61bac5b   Upload 4.3-1 to experimental

No new revisions were added by this update.

Summary of changes:
 debian/changelog                                   | 15 ++++-
 debian/control                                     |  2 +-
 debian/copyright                                   | 18 ++++++
 ...s-apt-cudf.ml-Do-not-generate-removal-req.patch | 60 ++++++++++++++++++++
 debian/patches/0001-fix-licence-header.patch       | 25 +++++++++
 debian/patches/binaries-prefix-edos                | 64 +++++++++-------------
 debian/patches/disable_dot                         | 16 ------
 debian/patches/series                              |  3 +-
 8 files changed, 146 insertions(+), 57 deletions(-)
 create mode 100644 debian/patches/0001-applications-apt-cudf.ml-Do-not-generate-removal-req.patch
 create mode 100644 debian/patches/0001-fix-licence-header.patch
 delete mode 100644 debian/patches/disable_dot

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