diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2022-01-25 18:10:17 +0100 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2022-01-25 19:37:45 +0100 |
| commit | 2585fffefc6f27bc79cc11ef35450d8428007a6d (patch) | |
| tree | 993e4ae09b7fc46163791ddf7e688332389f682a /sci-mathematics/easycrypt | |
| parent | dev-ml/luv: 0.5.11 bump (diff) | |
| download | gentoo-2585fffefc6f27bc79cc11ef35450d8428007a6d.tar.gz gentoo-2585fffefc6f27bc79cc11ef35450d8428007a6d.tar.bz2 gentoo-2585fffefc6f27bc79cc11ef35450d8428007a6d.zip | |
**/metadata.xml: Replace http by https in DOCTYPE element
Again. :(
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'sci-mathematics/easycrypt')
| -rw-r--r-- | sci-mathematics/easycrypt/metadata.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/easycrypt/metadata.xml b/sci-mathematics/easycrypt/metadata.xml index 4bb2827b5487..f874f218f5cd 100644 --- a/sci-mathematics/easycrypt/metadata.xml +++ b/sci-mathematics/easycrypt/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"> |