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-lang/mlton | |
| parent | 677b7ba5c317778df2ad7e70df94b9b7eec4adbc (diff) | |
gentoo resync : 16.09.2021
Diffstat (limited to 'dev-lang/mlton')
| -rw-r--r-- | dev-lang/mlton/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/mlton/metadata.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/mlton/Manifest b/dev-lang/mlton/Manifest index f03d64a07d82..ae876cc0fa8e 100644 --- a/dev-lang/mlton/Manifest +++ b/dev-lang/mlton/Manifest @@ -3,4 +3,4 @@ AUX mlton-20180207-paxmark.patch 728 BLAKE2B 05bb27260dc8007a815ce74276a537a4812 DIST mlton-20180207-1.amd64-linux.tgz 18772644 BLAKE2B 7fe2d9db7edfb2d3e301be88e90b7dffe1441ff315ddac1464ef42fb436be1a9dc4e2c03fdb93880779360aed04cb7662a1a5a733f2d4158082d228f718d8b93 SHA512 74ab847ff567cde365a113f8819bae69cc18df20c441a6c6666b600980d2687faf143311f42be21a261b2493dc5c45fbecb4737c599cf767c3680afec06c2e0c DIST mlton-20180207.src.tgz 25003695 BLAKE2B 8cddfe83c76e05fda446917ddc85035b3d74534fe4bc597a839cd13cb59a15538f40a3f68bb8f7136f9cf8cb27a582e88ca0d14b8f7a4582a202b3bd075f3c9a SHA512 3599159950e857d257abce92abf5c548dd9c0b0cdc4ba0d7cdf9badb5d997f73386cd1ff79f563221b394dd831cb344e287927f90683b0715678edb3ca0ae15a EBUILD mlton-20180207.ebuild 7013 BLAKE2B 43a594d3ec7f6055519250f0e7ecfc6baa4fc8918097620ac5fb13c24bd61a940c0a34802ed56ea0b718661023831e135199de525305df5ac849e5bf9cb38ed1 SHA512 caf657e82fe88b8eaf995d2a0f7bb7400f160aeb37875d8c1a140b000f10e6fa1cae827ac02f333040ac1df8c1a138af92cdd32c2f83c16d737f378241144e5e -MISC metadata.xml 672 BLAKE2B 0d91a3dfce650ebc6fd1a39daef3a2302c86f1928bb47c07cf234a34b6a54174e20cc83b680f99839d38be5ee513d42260f9036ca901433c1a6287078aded02e SHA512 a580dce593d64dfdc4322f50bfe80976899719557530c9a5fb41f85cbcc54e5e06b3682e69c10dca78f9971dbf5610663e36cdd0b50df60175d9d3dfde69604c +MISC metadata.xml 673 BLAKE2B 132c2780c36f09f961234616be1d6cdfe6206d7ec48116784c5905d1b7a8af9b2fb53c8aa9f8562bb4f6643410b89e223eceaeacbd1858f721816cb703e05f90 SHA512 c521c18447604bde8a241f65b29a784859378f81639529ee61e8e9949f456bed14df6bff8563602e9f3b17519528414827638db8a1b582281ab1cf46c8d47e7e diff --git a/dev-lang/mlton/metadata.xml b/dev-lang/mlton/metadata.xml index 52a980d81fca..072792412b11 100644 --- a/dev-lang/mlton/metadata.xml +++ b/dev-lang/mlton/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-needed --> <use> |