[gringo] 03/05: debian/copyright: use https instead of http

[Thomas Krennwallner]

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

tkren-guest pushed a commit to branch devel
in repository gringo.

commit 8793f29128ad0d2d61e0d9920b569092fc63d8d0
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Thu Aug 17 05:11:39 2017 +0000

    debian/copyright: use https instead of http
---
 debian/copyright | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/copyright b/debian/copyright
index 57aa1f6..7a93610 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,4 +1,4 @@
-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: gringo
 Upstream-Contact: Roland Kaminski <kaminski at cs.uni-potsdam.de>
 Source: https://github.com/potassco/clingo/releases
@@ -222,7 +222,7 @@ License: GPL-3+
  .
  You should have received a copy of the GNU General Public
  License along with this program.  If not, see
- <http://www.gnu.org/licenses/>.
+ <https://www.gnu.org/licenses/>.
  .
  On Debian systems, the full text of the GNU General Public
  License version 3 can be found in the file

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