[dune-typetree] 02/04: 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.0-2
in repository dune-typetree.

commit bedfd18c8a1a4e175a5222a79770ce3341256f4b
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Tue Jul 18 12:28:58 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 7013b19..52158da 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-typetree
-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-typetree.git