diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-02-17 17:37:38 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-02-17 17:37:38 +0000 |
| commit | 95580151e6cfe563d6c0550936c7fd92e24a6acf (patch) | |
| tree | d6303b8b93da47cdce9e5f980e29b1f0d4fd83be /dev-ml | |
| parent | f8deb4f754798d63fb6b82178452ee846df8475f (diff) | |
gentoo auto-resync : 17:02:2024 - 17:37:38
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/Manifest.gz | bin | 38307 -> 38311 bytes | |||
| -rw-r--r-- | dev-ml/ppx_cold/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_cold/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-ml/ppx_fixed_literal/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_fixed_literal/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-ml/ppx_module_timer/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_module_timer/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-ml/ppx_stable/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_stable/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-ml/ppx_string/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_string/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-ml/time_now/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/time_now/metadata.xml | 5 |
13 files changed, 30 insertions, 12 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz Binary files differindex e3dd5fff9564..482bd49d5961 100644 --- a/dev-ml/Manifest.gz +++ b/dev-ml/Manifest.gz diff --git a/dev-ml/ppx_cold/Manifest b/dev-ml/ppx_cold/Manifest index 020c21d63d87..12e3fc1acb52 100644 --- a/dev-ml/ppx_cold/Manifest +++ b/dev-ml/ppx_cold/Manifest @@ -4,4 +4,4 @@ DIST ppx_cold-0.16.0.tar.gz 3814 BLAKE2B fc75c4a32e9d8c3175e6a05f1f03d9c475eed79 EBUILD ppx_cold-0.14.0.ebuild 609 BLAKE2B e33c2f192b2006bce6fb6b370e90f4e1fb37b2972605e814faf3de3adb3055f5bee33a02e74437caf7cb92b6a00140de5f5d6d7f2ef38e803996505ee7c2d21e SHA512 e84147c45f9434997bc7ef851ff3a465307065104da167bdf9e409370279a089d838f229bb8115e6c3181d49452ed28c9f675ab5edc61052e3d87d6549479d1b EBUILD ppx_cold-0.15.0.ebuild 553 BLAKE2B 214ad76f9285af1bcf1a611a34538d7a3aeb6cd65358d6d2ea60e8044eb09f877a284e74c48da117a05bb1e791e30429c84fccbcb56600c5b9f4855810e34ab0 SHA512 c93f63e8e81ea79e4ff5307e6a05f504c8c1bd097bcf66c7f26f9e922a6640317b9d91352fb891b6d09bc3ff9c4f97833384d7b5a34b9523e4ab2ac7b5992b11 EBUILD ppx_cold-0.16.0.ebuild 581 BLAKE2B 6f52b5a98edeb1e703fbee4b9a61f92b79763b6eec885af096da2c752eb0ffbb1d74786295c8463cf2297699f5401d6696338cf336f5bedb8b270bcbb12edc24 SHA512 b1a6effdf4efb0b192aaf22c113598d5e726e7e5aeaebf3496f2897ae32cf5d6c4abaebf9f187b9ac91d7a1ed2af6eb2c88714cffb937d0d4e56dd2ce8db453d -MISC metadata.xml 252 BLAKE2B 41a116015f7cbbb545d470c5c4b8002db3526525f97ccc8c67498344b4f4fb167a372e7c1c4d404c073e5a1d592dd8f6a2b547411166b4cd126b44156fbcf37f SHA512 a0e8ea5fce9665929337bb927d0fa39b0386afedb24cd2b07251a040307d88f744707f533a423aa516c72b310736ceef76aaccd9ae557536f29318ba87a7dbef +MISC metadata.xml 317 BLAKE2B 9a320dd26c8484ee206cda91babcbebbce9bfdd9d7dcfb39a1950cc27e8c00db408acb46b9660c406a856d071f6511d97c9f6e81528715180fb210ff108595dc SHA512 e46cf97833e49d14212cc0f0001d7302e8b15520b0e9b2cd87687b3270a76a1635c0e2c46af2b7fe9bae60231ae7183691c86944937c9fea00cdd09499e30813 diff --git a/dev-ml/ppx_cold/metadata.xml b/dev-ml/ppx_cold/metadata.xml index 26709c2d01e6..6da21e1a9149 100644 --- a/dev-ml/ppx_cold/metadata.xml +++ b/dev-ml/ppx_cold/metadata.xml @@ -1,7 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <!-- maintainer-needed --> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> <upstream> <remote-id type="github">janestreet/ppx_cold</remote-id> </upstream> diff --git a/dev-ml/ppx_fixed_literal/Manifest b/dev-ml/ppx_fixed_literal/Manifest index 114e6f6c95c4..7dc0400088d8 100644 --- a/dev-ml/ppx_fixed_literal/Manifest +++ b/dev-ml/ppx_fixed_literal/Manifest @@ -4,4 +4,4 @@ DIST ppx_fixed_literal-0.16.0.tar.gz 3679 BLAKE2B de5a474feba17ae3942cce33a42b06 EBUILD ppx_fixed_literal-0.14.0.ebuild 650 BLAKE2B 563572aa68ea0a52874bc294e237fae6c151831fc951afc78a346d52f673976fb392e7da4c1ac77e07b94c73a77faf8dce5a8c23e850760cd8179a04f3dc8069 SHA512 c8385cda8f0435e796ea16a508822b7bfce2cb69a4cc4c0afe48dbdf15b220f6f4226975adcae0f79ef9b148e600e009833dc1dce8a51217ffebf0cc1aaef3da EBUILD ppx_fixed_literal-0.15.0.ebuild 578 BLAKE2B 988db2ea700f3af9f1ad99540b8cdc381b8144b0bb5d02a029eb2dc2682779b6bd6883a2243eaf65161b0f6d903bea2ff7244417c080851ffe30eb9b40f3990e SHA512 47b5ce945228e9a6a0ae11eafd021b7d97bc761efbcb7f62dd679ead90a99f8cedb689aa3288ebccda2ba1cb4624eb37507c50fc34fd5bddbb779a212bf4a3aa EBUILD ppx_fixed_literal-0.16.0.ebuild 583 BLAKE2B f337ca8169c69f8e419d76f99b0313a085d963143f4113a86b4f10a474491d40e500c6cdac7ac666d9fd10cc460d3f6303a27ba16fdd5272ba1a64ce395de9a9 SHA512 5e9734d366777e0050d11bdaa373a8990152cf9a177ff6d91495f868196cf9b1548826c5f0f72dbdf80df6a5b260b8e1b83b8e5b1b67a2c8d32999e8dc350d36 -MISC metadata.xml 261 BLAKE2B d4bf1adc367803b5d53eb766cdb7fd628a234f513fbfbb40be3685a3a46a4159c2efda04a1f2b8e45d92c540a24009c58a38e99ca3fbd3175c07d6f5c6e9fbcd SHA512 6b6e3884ae7f41745af7226da4731eee57cce5ae2a425f338701e67487adc6a002ac545581fdaad7c25bedd7bdfb0edbd7ddf2fa3e52a292cc8b69d23ce3a6dc +MISC metadata.xml 326 BLAKE2B 9e076f31e03566b8045b67519496802c7e4fd9c8f851362543c83c3cc4881dd484c32f853fcf4ad09135fe789d9a3ffd91b19bfdf3f7489d3a85b7883c60a4f6 SHA512 1d85068dd7224b4c5b084b474f251af2c785600cb280d023177c0aae215cd5541ed9a0a8e65419db38ddd47e08eff5d71ac6573015934fbb41ee6c707faf4cfb diff --git a/dev-ml/ppx_fixed_literal/metadata.xml b/dev-ml/ppx_fixed_literal/metadata.xml index 14fe34433d9b..f5246bd514db 100644 --- a/dev-ml/ppx_fixed_literal/metadata.xml +++ b/dev-ml/ppx_fixed_literal/metadata.xml @@ -1,7 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <!-- maintainer-needed --> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> <upstream> <remote-id type="github">janestreet/ppx_fixed_literal</remote-id> </upstream> diff --git a/dev-ml/ppx_module_timer/Manifest b/dev-ml/ppx_module_timer/Manifest index b814e86babc7..636b0059d0b5 100644 --- a/dev-ml/ppx_module_timer/Manifest +++ b/dev-ml/ppx_module_timer/Manifest @@ -4,4 +4,4 @@ DIST ppx_module_timer-0.16.0.tar.gz 7281 BLAKE2B 3be0d87198cb15c7a95b8b72648a8e9 EBUILD ppx_module_timer-0.14.0.ebuild 715 BLAKE2B 356a257c57e9c96a0617de02c6456e6775585018c82b1e6ca48038143ad71399cd4d54677873b3c18db5e9a49dd57ef0b07aaaba9cbd665cd58d904f0d8242f0 SHA512 35724b8c078856b6703f2052258b1806157e65cf22861fea2e2597a04847f5037ce8f49a8b3a983461627a5d936467f3aebfa108479988438f21c251f98c2ac3 EBUILD ppx_module_timer-0.15.0-r1.ebuild 528 BLAKE2B 637bdd3b2e3321f303dbc310b2b81a9162d1182c1493e030f2a41be6a58dd2218cb22aa6cac7b04853a5e011e9959e70c1e46e22b58737671194f6b652bbe55c SHA512 006bd6de07e965e5265fbac1fc9ef27fcaedc4649954676b14e5f9f08a8194689a36b9de4ae20ee4972aea70b0315b8a550da32ccb75fb6fa688c905f15c3f11 EBUILD ppx_module_timer-0.16.0.ebuild 556 BLAKE2B 98c33687cf3f78104a1397c802a349ea06b44463371475f10d49380b39499b62397ad031d76d6eb5c72cd8ec2bf278ee520a11536e7234ae4a99bd385ef89231 SHA512 2d028018b029dadcba19ca4f0e0e2aab8aff3a16d7096b1ea3ffe1a58bd45e6871dd66c8f8ff4f9970104118d4b557ef167c490a0314b1e3c8abfa4a91bb2bca -MISC metadata.xml 260 BLAKE2B 4439b626a9c2cc8fb608b768a8bb8cdfea7aa077c1ba1b9cb55560640f1e3b33afb06a6d6a0adb51f017f53f72830a275887fc11218c1611a2661705ca401636 SHA512 fe638c85bba918a7efdc0d16436ebfc090d1af5124dab1e785a65a7d39c92c0ce4cbff3e186bb6ef80bcfacaed327975dff001d4faa19b302f5430bffe704a53 +MISC metadata.xml 325 BLAKE2B 23cb6d1b6bd67ada2aa7434344b2502cda10569b169a30951741fdef8ea269e0a81755fa837405c880e83049619b213e12fb63b49b0e4b4c013c14b60c12338c SHA512 f669337f74ff792131621c5af8c86aac19ba428f23fddcbfe47b590a8dbc6e40f9e7f9cd130229c37e142941ac1c54b12ae54c955de9b80f30e1489ecd5ff9d8 diff --git a/dev-ml/ppx_module_timer/metadata.xml b/dev-ml/ppx_module_timer/metadata.xml index 7aea509f74a1..f0418bcac10b 100644 --- a/dev-ml/ppx_module_timer/metadata.xml +++ b/dev-ml/ppx_module_timer/metadata.xml @@ -1,7 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <!-- maintainer-needed --> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> <upstream> <remote-id type="github">janestreet/ppx_module_timer</remote-id> </upstream> diff --git a/dev-ml/ppx_stable/Manifest b/dev-ml/ppx_stable/Manifest index c5e33c8d398f..54eaea9ab392 100644 --- a/dev-ml/ppx_stable/Manifest +++ b/dev-ml/ppx_stable/Manifest @@ -4,4 +4,4 @@ DIST ppx_stable-0.16.0.tar.gz 18298 BLAKE2B 3308ecc99f3c5a6c9b5a270f04effc62dfdb EBUILD ppx_stable-0.14.1.ebuild 606 BLAKE2B 9a37f7b5cda5bf05b9517823575ab9f403dcded17d8f52e87060ebb6b4fcca7042ca10b349d90a308cc6e39d412df8df748c711fac02d8c9b3a8176d475e69c2 SHA512 c7bb5ae253f5521358faf6300282e4fbd37824054db3d5bdf8d90150c50ed9a8f59e9427b0703d8928727b2ec99fcd22d559dd67b47d556ff7af32a8b163b12a EBUILD ppx_stable-0.15.0.ebuild 534 BLAKE2B 7bb4e6f1e22ced583b35e5c4b548092e9dd5c2cd424b619f4fa8543a5e11ac4d06b958a97d26e2b5a6efe54eaf3a7fc171d13f3b53277fee24b142c5884c6800 SHA512 d04ad567e913a867e387dafddac66ebeba72b8c4139db77198cfeefeedec16c383cf2e550f0f305090a0a506ace2f681e6f13f01783651e14a8078727b9e89a3 EBUILD ppx_stable-0.16.0.ebuild 562 BLAKE2B 419d96316e6b1902545a429a657dd503a91d54456e180fa11db9af35d896236932a0cde3e3c5966543aef3fe7de29b0d5d836771caf6f0563988eeace6a4dc8c SHA512 994f5933b78dec6a5514a7646ba5a900016d851ce4168bbdaa791b57a4a41a52dea22816ecedc77eacac1e0741d7349cff2e5613f90e6575b67f913a051cce9c -MISC metadata.xml 254 BLAKE2B 6ac5652bfa00c69f0aa1e7001f65907da35ed6787ea1fbcdb579274901584b9200d6340b2c77e27184f6436d5b18aec761db7ede5b248632c5c6ed7fff407ff6 SHA512 9986ded3b1ef3b1d653784564d4c15223dd1d216c3a72316aa8b5612f8604d916ed9b14c4931ff59eb07021a384924804c3db3c3cc9e57df6292110c00efba51 +MISC metadata.xml 319 BLAKE2B 35347449d8e7b9849c791e0e1b2fff68d12218abb7d59885d6584d2fa6141b5c5d7af6f4ef5968c1116bd1a7683bd33fd1a55ce446fe975e3ab5aa379c5df10c SHA512 b5b67e4926f69febd8834fbbd751ed595012fd481c130ba17dfcc163352e9d31e3486c62b9fef9a48b8afda82b72eb7b89cdb132f554379313cbc0dc6fd1172e diff --git a/dev-ml/ppx_stable/metadata.xml b/dev-ml/ppx_stable/metadata.xml index 885eef21d107..8fdeb7505892 100644 --- a/dev-ml/ppx_stable/metadata.xml +++ b/dev-ml/ppx_stable/metadata.xml @@ -1,7 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <!-- maintainer-needed --> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> <upstream> <remote-id type="github">janestreet/ppx_stable</remote-id> </upstream> diff --git a/dev-ml/ppx_string/Manifest b/dev-ml/ppx_string/Manifest index 632207291d7f..ac7f96d06da7 100644 --- a/dev-ml/ppx_string/Manifest +++ b/dev-ml/ppx_string/Manifest @@ -4,4 +4,4 @@ DIST ppx_string-0.16.0.tar.gz 6105 BLAKE2B a23f81846562accd1bed9df7bc491a8b9c947 EBUILD ppx_string-0.14.1.ebuild 675 BLAKE2B 9695ec5c36068ab29ba12283604fb9607354940da97d00a5cb5f889e8f4b2521a88d1d41f48b702d7010eb35d12ccd75ea12bf7a37e8391180180c176a891352 SHA512 e412b9a1a39fc8ae807ad422c1c32928388d6ad57b30126f5ed00c18e337421ed10b9e03f02adb58118d8b70a815049cafa90f49f3f0830ba567cf26f96a222b EBUILD ppx_string-0.15.0-r1.ebuild 537 BLAKE2B faa533b7dd2f5143d41698855f540983343f16aa3c8fd3ae72266c253268b6712723adbe9dc0960df4d876dc700a6d1c27696f4b219159c136692e44f569c3f0 SHA512 bc1c1c1158ee86109c10867a8cfa5b4601db93c9520fb16d81420ce87ffa324a3211d7585d4b6807bce73fc8c835b73509e7c41f72a756318eac4ddb613dcde6 EBUILD ppx_string-0.16.0.ebuild 565 BLAKE2B 1a1a2e37ce073e08102d87b81de5aa4b464885d10218c78619d8d8707f7507206d4c84356994946c1ff760a9ac1b8193220e202d78069ebb60c1f2e4a8932a9a SHA512 03c919e43f13c4c8f8d7b44f47cd1845a25e14d6abd3c955f7126034565de768ccd84eab314e70f19dc60aeba492098bb191ac503e4c647e67aa4e9c6a1eaa20 -MISC metadata.xml 254 BLAKE2B 9bd2c94cc14859914d9050abb1ec03fb7d37294e1348d7226ebda35d8e3828bc97d6c832a4158cb591f2474d1f1ee255e14cd65ffe8d9c3c1bddb7df17112b70 SHA512 784f52a88fa799830bf3c3ad4fb1735efed5101223a3ec3ea512c926e45a993ab346b2d177c06ec23df38760b71beb41d73a61230e4940163df1e51f8146c5e3 +MISC metadata.xml 319 BLAKE2B 8a769162af0e87b61d20b39a0b057ca142b1b00c605fa43bb46004cd7d6e98930346fbf343c80175c718e53534c754132e3ab4cb15bea2f0923a27951353ce71 SHA512 cfea4e3d764daf3617923f7bd5d2262f9315177d7ee0a0aacaf693fa1067e1f2a27f4176f3905bcff1535ef0c9e93bfc5e3a6dfe364cfaf774177e6cdc9aa8ae diff --git a/dev-ml/ppx_string/metadata.xml b/dev-ml/ppx_string/metadata.xml index 0c119c619537..4c40cabdee67 100644 --- a/dev-ml/ppx_string/metadata.xml +++ b/dev-ml/ppx_string/metadata.xml @@ -1,7 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <!-- maintainer-needed --> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> <upstream> <remote-id type="github">janestreet/ppx_string</remote-id> </upstream> diff --git a/dev-ml/time_now/Manifest b/dev-ml/time_now/Manifest index c3ce41a1ee7e..f845974a81c1 100644 --- a/dev-ml/time_now/Manifest +++ b/dev-ml/time_now/Manifest @@ -4,4 +4,4 @@ DIST time_now-0.16.0.tar.gz 3729 BLAKE2B df7569be37f608bd3f466dc8da96357d42c7bf4 EBUILD time_now-0.14.0.ebuild 534 BLAKE2B 71f087ce034042b12702611cda29d0855dfe37fc6e930d878e234024fee2f1cb4403e1a79cb55906de792e86eb4bdccc4cb84194e1704b4bff86c2ae36623b92 SHA512 49d77414540a8d367036a162a5de2861f6ccae244e9b6474cd228672d03066d03d7a37ce7afc4ecbfbdac90d7a24d86abe45b6a8640f4157371dd36cf5762d4d EBUILD time_now-0.15.0.ebuild 552 BLAKE2B 9138bd774e4329f650fd4bba736890840c92807afd0bdad198d443a9ee64b1ebf7b057af21ea7d52f354ee0c58eff68570550175f1a444e6735061e0a04522f0 SHA512 5ebdee81c82b4cccc939bf66036032a01b8fe8f5aa68badfa50652b52bfef529e4f26cc0db44cb255d64024bdaf391aedbf9ed95fb97fd91c891bd3177364d2f EBUILD time_now-0.16.0.ebuild 660 BLAKE2B f820897fb10f840f6eaee790173a2d4635c7dc81cc9ae6474ea85f3d950b8c547a4514adc22220d446d97725b63138b6e0e623d4b4d194a37bbc4d84a54f03cd SHA512 2a2a7f13c01994cf4df255c6d67e45875c20ff463fbf3bcf419f077a6f13f71ed2c904fcb4632e1e768183cf5683ba91c9e1085cbb2972d6a50a9618722e5ba4 -MISC metadata.xml 252 BLAKE2B 3bd1798c545bb62d34f60e11c4266e9cf7208555b8e232b8da9d86707e3cf049383561c03f7e9bff15c5939b5985779d75c2e75c32ed4653144108ba51d7cde7 SHA512 f7307ef7a56b9f0db14a3af09e9eb63d6c5b42f585ca429f27c87773b9e9a28ac5f9ecb6f144a57efe0b2c0e2cec9b8a66c90c7d273818f1e4223d5f8e993af8 +MISC metadata.xml 317 BLAKE2B 54d5dd3dfe8c633ca9c384c2030d0d786f53e89edefe10125c2db4251125b1c25933bbeb107193ace089167ec1a33fb7b6541be3819f32a71bde30d26bdb6074 SHA512 bc148cdf93b72f5bcf86453417fb55f9097223bf7f602482d4c6473331be1566d13422f1d2bed9a7c583f2e2c39c40ff213875a485a4b0f4b0e31711b01ecb7d diff --git a/dev-ml/time_now/metadata.xml b/dev-ml/time_now/metadata.xml index d7a2c6c97530..65feccd9ce16 100644 --- a/dev-ml/time_now/metadata.xml +++ b/dev-ml/time_now/metadata.xml @@ -1,7 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <!-- maintainer-needed --> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> <upstream> <remote-id type="github">janestreet/time_now</remote-id> </upstream> |