summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_cold
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ppx_cold')
-rw-r--r--dev-ml/ppx_cold/Manifest2
-rw-r--r--dev-ml/ppx_cold/metadata.xml2
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/ppx_cold/Manifest b/dev-ml/ppx_cold/Manifest
index 278f2d97b053..be256c37e1d0 100644
--- a/dev-ml/ppx_cold/Manifest
+++ b/dev-ml/ppx_cold/Manifest
@@ -1,3 +1,3 @@
DIST ppx_cold-0.14.0.tar.gz 3778 BLAKE2B 5ae223047858ff11f90067fcb2a6541c964cd929e45fe9d43256b75a81599d6aa0aaf37fe7274e98c64b6448846ab8c64b1c092171392f74a395ea08ea0a60d8 SHA512 3655602defe6b5cd9740eb4cfcf480eded6912674df28955502adcd0d8d6901551e137b0660a389f8be2c88b3aebc830f57089d2ac1a82f7b9efdbaea358fe07
EBUILD ppx_cold-0.14.0.ebuild 601 BLAKE2B 59c2b49d350933461ad0ec24f57c849f6be7141c475501d1f0614f201ed538a5cdf45d603a84385a203ce86c54927391de76842f3365f896e334331c2906ae47 SHA512 c35af1516d829230989ed450ba9e9293482766d1e620c676a79877d42764a773a4882dd579c7af8cee5046ee13f84ae29a2c4bbc9a6590053687ebba8f4bd9a7
-MISC metadata.xml 328 BLAKE2B 161637ca7a3b7b38fb50fd4494f3b53f5da228326eb8d635bc6016e3c9d8ca0a9e89d110a4a7c54df95f919a498e8ee80865880432e00ada41232f5439668be5 SHA512 0f0b66906d2063c7b288eec84c7842b5bfd47347c38bcbc9eb57006f8688f68aa941a5bbbd23eb380b236acb651822e591b4a24b723c62a6fa9fe722acf4ae42
+MISC metadata.xml 329 BLAKE2B acdcf89e7a6ee7bd0d242141565699b2689d893fe66dba0c06767d5ad1eae82226be4ee107f115d0e08d1ad682847bd4ac7a2d1e063022efc22bb856b0045c38 SHA512 557eee3f2001d2f8a0118ef4d920bf03e3157d96b1c3997104173ae49c432b16ff5aec6b3aaf5fcf067c090d3f5db76f342ab2369e1f14269ae3297ef037d38e
diff --git a/dev-ml/ppx_cold/metadata.xml b/dev-ml/ppx_cold/metadata.xml
index 6f4a7fe7e1eb..f8049dce70ad 100644
--- a/dev-ml/ppx_cold/metadata.xml
+++ b/dev-ml/ppx_cold/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>