diff options
Diffstat (limited to 'dev-ml/ppx_cold')
-rw-r--r-- | dev-ml/ppx_cold/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/ppx_cold/metadata.xml | 2 |
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> |