[dune-functions] branch master updated (9a1464e -> d40a87b)

[Ansgar Burchardt]

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

ansgar pushed a change to branch master
in repository dune-functions.

      from  9a1464e   changelog for 2.5.0-1
      adds  f40ccf0   (Build-)Depend on last DUNE upload.
      adds  d40a87b   changelog for 2.5.1~rc1-1

No new revisions were added by this update.

Summary of changes:
 debian/changelog |  6 ++++++
 debian/control   | 10 +++++-----
 2 files changed, 11 insertions(+), 5 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/dune-functions.git