[gnome-tetravex] Add missing https.

[Arnaud B. <arnaudb src gnome org>]

commit 8d227bcdf5b5159b66ec608dc7617c72f548e6de
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Mon Oct 14 19:21:44 2019 +0200

    Add missing https.

 gnome-tetravex.doap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/gnome-tetravex.doap b/gnome-tetravex.doap
index 0f813ce..52f686b 100644
--- a/gnome-tetravex.doap
+++ b/gnome-tetravex.doap
@@ -10,7 +10,7 @@
 
   <homepage rdf:resource="https://wiki.gnome.org/Apps/Tetravex"; />
   <mailing-list rdf:resource="https://mail.gnome.org/mailman/listinfo/games-list"; />
-  <download-page rdf:resource="http://download.gnome.org/sources/gnome-tetravex/"; />
+  <download-page rdf:resource="https://download.gnome.org/sources/gnome-tetravex/"; />
   <bug-database rdf:resource="https://gitlab.gnome.org/GNOME/gnome-tetravex/issues/"; />
   <category rdf:resource="http://api.gnome.org/doap-extensions#apps"; />