From 2585fffefc6f27bc79cc11ef35450d8428007a6d Mon Sep 17 00:00:00 2001
From: Ulrich Müller <ulm@gentoo.org>
Date: Tue, 25 Jan 2022 18:10:17 +0100
Subject: **/metadata.xml: Replace http by https in DOCTYPE element
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Again. :(

Signed-off-by: Ulrich Müller <ulm@gentoo.org>
---
 sci-mathematics/lean/metadata.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sci-mathematics/lean')

diff --git a/sci-mathematics/lean/metadata.xml b/sci-mathematics/lean/metadata.xml
index efbd9f15e639..f06c80c2d7be 100644
--- a/sci-mathematics/lean/metadata.xml
+++ b/sci-mathematics/lean/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>
   <maintainer type="project">
-- 
cgit v1.2.3-65-gdbad