summaryrefslogtreecommitdiff
path: root/dev-lang/maude
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-09-16 22:05:01 +0100
committerV3n3RiX <venerix@redcorelinux.org>2021-09-16 22:05:01 +0100
commitcc4618c9ba3d974948ebf340b542d8cb01db2f55 (patch)
tree125ee67bb9e0d548771cf7b61d04bb1f0dc57687 /dev-lang/maude
parent677b7ba5c317778df2ad7e70df94b9b7eec4adbc (diff)
gentoo resync : 16.09.2021
Diffstat (limited to 'dev-lang/maude')
-rw-r--r--dev-lang/maude/Manifest2
-rw-r--r--dev-lang/maude/metadata.xml2
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest
index e1a65c55d382..22a107639dc4 100644
--- a/dev-lang/maude/Manifest
+++ b/dev-lang/maude/Manifest
@@ -12,4 +12,4 @@ DIST Maude-3.1.tar.gz 2335693 BLAKE2B 3bc9744d95448e4dfc2f818944ab66dad84b026ad1
DIST maude-2.6-extras.tar.xz 3157004 BLAKE2B d735366071194eb7fd22c11628672aba38cc8c7f4460e4ec8806e27c2e1416e1a2a5fa93efd01c305bf36e0ce799578688c5ac87b5459e979323df6f60305902 SHA512 0533f0f226057d2668052f360245f296d36129ec242ff0bfa91fada9db5bc347d276d3468c86fbac92f019f3a2f152c7cb4e58a7f1265c1fb5a8b1b496fac5cd
EBUILD maude-2.7-r1.ebuild 1403 BLAKE2B 8cafabe903ec3449810d2e806432a8deb96682dbc9e12f904fd5cdf5088f767084287a2cc257b82d57932d4eaf6934817f43cd7e4c7a7d1e025ec6fc483a3aed SHA512 393cef3c42762a13b2dd3df0f1084675c487c51eff72bf454931db4f1276f5fd167bee336522192eab1d9a04351927a5885ab4ddaaaac76f65b95d2e4324a8a4
EBUILD maude-3.1.ebuild 1455 BLAKE2B 9475bf3afe5ec351c27620f1898ee7fbf3f7ae1a6f586883db0dd57eca225cbb0e939658aa8e7647f283e431aebc525619837f1bd979a8be1e765cf7df01c072 SHA512 549de110093582f93bf5f96f47b761d1dbc82a1d6ec69d317c32279204337ebdf2f37bf030355933365e49cfcc2a32bda4bea92d830f971db0e7b7b84a8cc9b3
-MISC metadata.xml 708 BLAKE2B 45ec7072bcd0509e34ef2b5d3abd3a67abe84cf91f6dbc9e45fdc3d07bf4bebe520c40440b977e2eabdd06ec1d9fede487c74cc69df57819975cd75f8ca75016 SHA512 da572363e08716b890656c160e415a4e01bd0a0effaaa3a535108295fdbbc67210315b9c0f81e4fd4c9dc8a8b8a3cc454f5d2225be0d666dbc630752ea0e2cc2
+MISC metadata.xml 709 BLAKE2B fa75819761280758c0e5a818029b963994504ba036eb57144224b01b51565072fce2f0879fd2ba035b3d98c6f552bed2f510acacf6d70844c814d4cdc43bb7b9 SHA512 8b0b153301327bb1fa1f9ae895c1451135e2ebac891320532c3937bee0d59cfd5a5cfec18febd23cc9d2b1e5a9d12c98ca1c8276ec143482644e857c39f70143
diff --git a/dev-lang/maude/metadata.xml b/dev-lang/maude/metadata.xml
index 2a557bd7618e..2f720265f903 100644
--- a/dev-lang/maude/metadata.xml
+++ b/dev-lang/maude/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">
<email>sci@gentoo.org</email>