summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_stable
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-ml/ppx_stable
parent677b7ba5c317778df2ad7e70df94b9b7eec4adbc (diff)
gentoo resync : 16.09.2021
Diffstat (limited to 'dev-ml/ppx_stable')
-rw-r--r--dev-ml/ppx_stable/Manifest2
-rw-r--r--dev-ml/ppx_stable/metadata.xml2
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/ppx_stable/Manifest b/dev-ml/ppx_stable/Manifest
index 8e2ac7288bb0..c09c11ace63a 100644
--- a/dev-ml/ppx_stable/Manifest
+++ b/dev-ml/ppx_stable/Manifest
@@ -1,3 +1,3 @@
DIST ppx_stable-0.14.1.tar.gz 12031 BLAKE2B 837a53206d3a8d651d53f665daebbcfde3a1b5d55f1ed13d3ac8feecbd9ba0fb24ad7bb1cf24a0bfa00a41a46c3ef0f84385bc8792685f42ef18facf88ce348f SHA512 1c99a61537a2ce7d40208c64efbf71c54726b228d3746f2afaf9e813b3fed9c8016bb2eb859be24993c7c922a34f574e1028db8e7ee922d4772336dc0496df74
EBUILD ppx_stable-0.14.1.ebuild 583 BLAKE2B ec3b22fd820eb7b1ceb75855d0c6e0e54a9db2e588545975214668f7a0e9fa51516c4eb22ef937dcc9907e1e6f4d90835daf338942db4d5560fa31ecd6c2590d SHA512 eac6b8b74ae95c57558dd05cd940ffc66eae11453027d36fa066e5fc6daa474df12bdc114300c626f4cd2c886c693d7e30a1f32d688168ddfafb307887265fb7
-MISC metadata.xml 330 BLAKE2B a9207f869866fde8c1559c5a35872bcde90de1b8cbbb1f8e09de6601d701ac15f99faba97f1f7464d17f559460de43d3c4b3e69b58dc52b53e9fd8ded5daa7df SHA512 2b64814e72b26fb8c3679b281cfe2cd403264adb809cb9953adc5e82411b5ab195275d1ece57a531fb433037b65939f5816b7d5c8be17885aefbc6bc84ecae9f
+MISC metadata.xml 331 BLAKE2B 2638c7e2cf93f90420a27d3ae184e99b82951e323f8834eb381d0a78d188bc0b2436b23136f92dfd260c8cbc6c9f6852afdc29e38ed2e361abc97e224b7dca6c SHA512 ae92eb190a1570c33f60f4c382d8df3a150f8a24bb0deec0c88a3581209080dfe4e8a74514e09e261b14c137e25910ef3e3987abdf2e80dd1a5587ce4a331df2
diff --git a/dev-ml/ppx_stable/metadata.xml b/dev-ml/ppx_stable/metadata.xml
index 0eb54d519244..7807fdf468bc 100644
--- a/dev-ml/ppx_stable/metadata.xml
+++ b/dev-ml/ppx_stable/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="person">
<email>gienah@gentoo.org</email>