Use https by default

[gentoo.git] / sci-mathematics / agda-executable / metadata.xml

diff --git a/sci-mathematics/agda-executable/metadata.xml b/sci-mathematics/agda-executable/metadata.xml
index 58fbc0e320431806913e9cd36bb4027cbd56da06..2778dbb15dea7d2267939f018bf0a85d40b6fa82 100644 (file)
--- a/sci-mathematics/agda-executable/metadata.xml
+++ b/sci-mathematics/agda-executable/metadata.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
        <herd>haskell</herd>
        <maintainer>