diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-09-16 22:05:01 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-09-16 22:05:01 +0100 |
| commit | cc4618c9ba3d974948ebf340b542d8cb01db2f55 (patch) | |
| tree | 125ee67bb9e0d548771cf7b61d04bb1f0dc57687 /dev-ml/ppx_optional | |
| parent | 677b7ba5c317778df2ad7e70df94b9b7eec4adbc (diff) | |
gentoo resync : 16.09.2021
Diffstat (limited to 'dev-ml/ppx_optional')
| -rw-r--r-- | dev-ml/ppx_optional/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_optional/metadata.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest index 1afcdb02815a..295ec839f8d6 100644 --- a/dev-ml/ppx_optional/Manifest +++ b/dev-ml/ppx_optional/Manifest @@ -1,3 +1,3 @@ DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40 EBUILD ppx_optional-0.14.0.ebuild 523 BLAKE2B 4682dabcc4c6f6cc91226d7c33827dc26f74d3618f89c5246b9a8f063a13b143994a3a659d79970a071d08654778a96154a15c2446eaa748fc1d0f7cc7536266 SHA512 99d2529aba45394cf9c0bce1b3c3489c8635821a7c8e74bdc2b42c958c5c4f3b029ba3dacb6587ce051cca64b7d4834ce9e7b90e335781c1bcd24f106c87c099 -MISC metadata.xml 332 BLAKE2B 0824f2e9534fb0da9c6173262e70e59d7734d171ec01c274504636f71ead682799e16f7aa6d4ed90af336f3d68b2668eee86371c6be191903b81147b885ff53d SHA512 9dcc5fdfff88c79298e80a8dac25bd130a53ab4f02fda52336cb753de685d45c7769c8b0a1697e5fe11b78acfbf19e8798790ba4c6e4c697006107762b5f88ee +MISC metadata.xml 333 BLAKE2B 578ce57ae8d5054c42a9f8122983740ba7da152239aa9ad767d082b158deba13c700b6d11680446cb4a1fce890f957e5c3ed88be2de8d32e34a54c8f6011f3c3 SHA512 8b410066c2866efe070865ff08a58a3353f3f0589ef483b74a9a8d61befaef18a1535bb116b0df157b63effae54a4d99060f585e398696252a5ffa1c3585df46 diff --git a/dev-ml/ppx_optional/metadata.xml b/dev-ml/ppx_optional/metadata.xml index 8a58c771030e..3b7c6eee710d 100644 --- a/dev-ml/ppx_optional/metadata.xml +++ b/dev-ml/ppx_optional/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> |