[dune-common] 01/03: debian/copyright: Update URLs

[Ansgar Burchardt]

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

ansgar pushed a commit to annotated tag debian/2.5.1-1
in repository dune-common.

commit ce4278d2644220b2336c82682d67b5f7aefdc3e7
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Tue Jul 18 11:53:08 2017 +0200

    debian/copyright: Update URLs
---
 debian/copyright | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/copyright b/debian/copyright
index 90fb7a1..195e999 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,6 +1,6 @@
-Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 Upstream-Name: dune-common
-Source: http://www.dune-project.org/downloadsvn.html
+Source: https://www.dune-project.org/dev/downloadgit/
 
 Files: *
 Copyright:

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