[dune-functions] 06/07: copyright: Update upstream source.

[Ansgar Burchardt]

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

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

commit 76d9fec1a6e2dd7c59a4888b29638cc888c958a9
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Mon Nov 21 20:26:41 2016 +0100

    copyright: Update upstream source.
---
 debian/copyright | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/copyright b/debian/copyright
index 043aca6..6762eb7 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,6 +1,6 @@
 Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 Upstream-Name: dune-functions
-Source: http://cgit.dune-project.org/repositories/dune-functions/
+Source: https://gitlab.dune-project.org/staging/dune-functions
 
 Files: *
 Copyright:

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