From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=ALL_TRUSTED autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 6352 invoked from network); 16 Oct 2021 12:51:17 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 16 Oct 2021 12:51:17 -0000 Content-Type: multipart/mixed; boundary="===============8316577385991635919==" MIME-Version: 1.0 Subject: =?utf8?q?=5BPR_PATCH=5D_New_package=3A_mathlibtools-1=2E1=2E0?= To: ml@inbox.vuxu.org From: ram02z Reply-to: ml@inbox.vuxu.org Message-ID: Date: Sat, 16 Oct 2021 14:51:16 +0200 List-Id: GitHub notification mails are now in MIME to allow UTF8. --===============8316577385991635919== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IHJhbTAyeiBhZ2FpbnN0IG1hc3RlciBvbiB0 aGUgdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRwczovL2dpdGh1Yi5jb20vcmFtMDJ6L3Zv aWQtcGFja2FnZXMgbWF0aGxpYnRvb2xzCmh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3Zv aWQtcGFja2FnZXMvcHVsbC8zMzU4NwoKTmV3IHBhY2thZ2U6IG1hdGhsaWJ0b29scy0xLjEuMAo8 IS0tIE1hcmsgaXRlbXMgd2l0aCBbeF0gd2hlcmUgYXBwbGljYWJsZSAtLT4NCg0KIyMjIyBHZW5l cmFsDQotIFt4XSBUaGlzIGlzIGEgbmV3IHBhY2thZ2UgYW5kIGl0IGNvbmZvcm1zIHRvIHRoZSBb cXVhbGl0eSByZXF1aXJlbWVudHNdKGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQt cGFja2FnZXMvYmxvYi9tYXN0ZXIvTWFudWFsLm1kI3F1YWxpdHktcmVxdWlyZW1lbnRzKQ0KDQoj IyMjIEhhdmUgdGhlIHJlc3VsdHMgb2YgdGhlIHByb3Bvc2VkIGNoYW5nZXMgYmVlbiB0ZXN0ZWQ/ DQotIFt4XSBJIHVzZSB0aGUgcGFja2FnZXMgYWZmZWN0ZWQgYnkgdGhlIHByb3Bvc2VkIGNoYW5n ZXMgb24gYSByZWd1bGFyIGJhc2lzIGFuZCBjb25maXJtIHRoaXMgUFIgd29ya3MgZm9yIG1lDQot IFsgXSBJIGdlbmVyYWxseSBkb24ndCB1c2UgdGhlIGFmZmVjdGVkIHBhY2thZ2VzIGJ1dCBicmll Zmx5IHRlc3RlZCB0aGlzIFBSDQoNCmh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQt cGFja2FnZXMvcHVsbC8zMjU1NiNpc3N1ZWNvbW1lbnQtOTAwOTMzNDY4IG1lbnRpb25lZCBtYXRo bGlidG9vbHMgbm90IGJlaW5nIHBhY2thZ2VkIChjdXJyZW50bHkgdXNpbmcgcGlwIHRvIGluc3Rh bGwgaXQpLg0KDQpweXRob24zLURlcHJlY2F0ZWQgYW5kIHB5dGhvbjMtUHlHaXRodWIgdGVtcGxh dGVzIGFyZSBhZGFwdGVkIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1w YWNrYWdlcy9wdWxsLzI4ODY1DQoNCldvbmRlcmluZyBpZiBJIHNob3VsZCBhZGQgZ3JhcGh2aXog YXMgYSBkZXBlbmRzIGZvciBweXRob24zLXB5ZG90Lg0KDQo8IS0tDQpJZiBHaXRIdWIgQ0kgY2Fu bm90IGJlIHVzZWQgdG8gdmFsaWRhdGUgdGhlIGJ1aWxkIHJlc3VsdCAoZm9yIGV4YW1wbGUsIGlm IHRoZQ0KYnVpbGQgaXMgbGlrZWx5IHRvIHRha2Ugc2V2ZXJhbCBob3VycyksIG1ha2Ugc3VyZSB0 bw0KW3NraXAgQ0ldKGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMv YmxvYi9tYXN0ZXIvQ09OVFJJQlVUSU5HLm1kI2NvbnRpbnVvdXMtaW50ZWdyYXRpb24pLg0KV2hl biBza2lwcGluZyBDSSwgdW5jb21tZW50IGFuZCBmaWxsIG91dCB0aGUgZm9sbG93aW5nIHNlY3Rp b24uDQpOb3RlOiBmb3IgYnVpbGRzIHRoYXQgYXJlIGxpa2VseSB0byBjb21wbGV0ZSBpbiBsZXNz IHRoYW4gMiBob3VycywgaXQgaXMgbm90DQphY2NlcHRhYmxlIHRvIHNraXAgQ0kuDQotLT4NCjwh LS0gDQojIyMjIERvZXMgaXQgYnVpbGQgYW5kIHJ1biBzdWNjZXNzZnVsbHk/IA0KKFBsZWFzZSBj aG9vc2UgYXQgbGVhc3Qgb25lIG5hdGl2ZSBidWlsZCBhbmQsIGlmIHN1cHBvcnRlZCwgYXQgbGVh c3Qgb25lIGNyb3NzIGJ1aWxkLiBNb3JlIGFyZSBiZXR0ZXIuKQ0KLSBbIF0gSSBidWlsdCB0aGlz IFBSIGxvY2FsbHkgZm9yIG15IG5hdGl2ZSBhcmNoaXRlY3R1cmUsIChBUkNILUxJQkMpDQotIFsg XSBJIGJ1aWx0IHRoaXMgUFIgbG9jYWxseSBmb3IgdGhlc2UgYXJjaGl0ZWN0dXJlcyAoaWYgc3Vw cG9ydGVkLiBtYXJrIGNyb3NzYnVpbGRzKToNCiAgLSBbIF0gYWFyY2g2NC1tdXNsDQogIC0gWyBd IGFybXY3bA0KICAtIFsgXSBhcm12NmwtbXVzbA0KLS0+DQoKCkEgcGF0Y2ggZmlsZSBmcm9tIGh0 dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8zMzU4Ny5wYXRj aCBpcyBhdHRhY2hlZA== --===============8316577385991635919== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-mathlibtools-33587.patch" RnJvbSA2MDJjMzU0MDcxZGM0OWQzYzk4ZDZmNjZlOTc1ZDAwYTg3NDRiN2JmIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBPbWFyIFplZ2hvdWFuaSA8b21hcnplZ2hvdWFuaWlAZ21haWwu Y29tPgpEYXRlOiBTYXQsIDE2IE9jdCAyMDIxIDEzOjEzOjAxICswMTAwClN1YmplY3Q6IFtQQVRD SCAxLzRdIE5ldyBwYWNrYWdlOiBweXRob24zLURlcHJlY2F0ZWQtMS4yLjEzCgotLS0KIHNyY3Br Z3MvcHl0aG9uMy1EZXByZWNhdGVkL3RlbXBsYXRlIHwgMTkgKysrKysrKysrKysrKysrKysrKwog MSBmaWxlIGNoYW5nZWQsIDE5IGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNw a2dzL3B5dGhvbjMtRGVwcmVjYXRlZC90ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvcHl0 aG9uMy1EZXByZWNhdGVkL3RlbXBsYXRlIGIvc3JjcGtncy9weXRob24zLURlcHJlY2F0ZWQvdGVt cGxhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwLi5kMTg3MDAwYTAx NWYKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL3B5dGhvbjMtRGVwcmVjYXRlZC90ZW1wbGF0 ZQpAQCAtMCwwICsxLDE5IEBACisjIFRlbXBsYXRlIGZpbGUgZm9yICdweXRob24zLURlcHJlY2F0 ZWQnCitwa2duYW1lPXB5dGhvbjMtRGVwcmVjYXRlZAordmVyc2lvbj0xLjIuMTMKK3JldmlzaW9u PTEKK3dya3NyYz1kZXByZWNhdGVkLSR7dmVyc2lvbn0KK2J1aWxkX3N0eWxlPXB5dGhvbjMtbW9k dWxlCitob3N0bWFrZWRlcGVuZHM9InB5dGhvbjMtc2V0dXB0b29scyIKK2RlcGVuZHM9InB5dGhv bjMtd3JhcHQiCitjaGVja2RlcGVuZHM9IiRkZXBlbmRzIHB5dGhvbjMtcHl0ZXN0Igorc2hvcnRf ZGVzYz0iRGVjb3JhdG9yIHRvIGRlcHJlY2F0ZSBvbGQgcHl0aG9uIGNsYXNzZXMiCittYWludGFp bmVyPSJPbWFyIFplZ2hvdWFuaSA8b21hcnplZ2hvdWFuaWlAZ21haWwuY29tPiIKK2xpY2Vuc2U9 Ik1JVCIKK2hvbWVwYWdlPSJodHRwczovL2dpdGh1Yi5jb20vdGFudGFsZS9kZXByZWNhdGVkIgor ZGlzdGZpbGVzPSJodHRwczovL2dpdGh1Yi5jb20vdGFudGFsZS9kZXByZWNhdGVkL2FyY2hpdmUv diR7dmVyc2lvbn0udGFyLmd6IgorY2hlY2tzdW09NzcxZTIwZTkzYmI0YmM0OTdiZDk5NTU4Mjlk MzYwNzRkZDc2MDg5NjI4NDZjMGIzNGE5MmZmNjhlZDdlYmFkOQorCitwb3N0X2luc3RhbGwoKSB7 CisJdmxpY2Vuc2UgTElDRU5TRS5yc3QKK30KCkZyb20gZTM3OGFjZmZiMWI2ZTRhY2EzODg1ZGRk NTAxZDhhNTg0N2ZhMDI5NCBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJvbTogT21hciBaZWdo b3VhbmkgPG9tYXJ6ZWdob3VhbmlpQGdtYWlsLmNvbT4KRGF0ZTogU2F0LCAxNiBPY3QgMjAyMSAx MzoxMzoxNCArMDEwMApTdWJqZWN0OiBbUEFUQ0ggMi80XSBOZXcgcGFja2FnZTogcHl0aG9uMy1Q eUdpdGh1Yi0xLjU1CgotLS0KIHNyY3BrZ3MvcHl0aG9uMy1QeUdpdGh1Yi90ZW1wbGF0ZSB8IDE1 ICsrKysrKysrKysrKysrKwogMSBmaWxlIGNoYW5nZWQsIDE1IGluc2VydGlvbnMoKykKIGNyZWF0 ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL3B5dGhvbjMtUHlHaXRodWIvdGVtcGxhdGUKCmRpZmYgLS1n aXQgYS9zcmNwa2dzL3B5dGhvbjMtUHlHaXRodWIvdGVtcGxhdGUgYi9zcmNwa2dzL3B5dGhvbjMt UHlHaXRodWIvdGVtcGxhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAw Li42MmI3NzhhMzc4N2QKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL3B5dGhvbjMtUHlHaXRo dWIvdGVtcGxhdGUKQEAgLTAsMCArMSwxNSBAQAorIyBUZW1wbGF0ZSBmaWxlIGZvciAncHl0aG9u My1QeUdpdGh1YicKK3BrZ25hbWU9cHl0aG9uMy1QeUdpdGh1YgordmVyc2lvbj0xLjU1CityZXZp c2lvbj0xCit3cmtzcmM9UHlHaXRodWItJHt2ZXJzaW9ufQorYnVpbGRfc3R5bGU9cHl0aG9uMy1t b2R1bGUKK2hvc3RtYWtlZGVwZW5kcz0icHl0aG9uMy1zZXR1cHRvb2xzIgorZGVwZW5kcz0icHl0 aG9uMy1EZXByZWNhdGVkIHB5dGhvbjMtUHlKV1QgcHl0aG9uMy1yZXF1ZXN0cyIKK3Nob3J0X2Rl c2M9IlB5dGhvbiBsaWJyYXJ5IHRvIGFjY2VzcyBHaXRodWIgQVBJIHYzIgorbWFpbnRhaW5lcj0i T21hciBaZWdob3VhbmkgPG9tYXJ6ZWdob3VhbmlpQGdtYWlsLmNvbT4iCitsaWNlbnNlPSJMR1BM LTMuMC1vci1sYXRlciIKK2hvbWVwYWdlPSJodHRwczovL2dpdGh1Yi5jb20vUHlHaXRodWIvUHlH aXRodWIiCitkaXN0ZmlsZXM9Imh0dHBzOi8vZ2l0aHViLmNvbS9QeUdpdGh1Yi9QeUdpdGh1Yi9h cmNoaXZlL3Yke3ZlcnNpb259LnRhci5neiIKK2NoZWNrc3VtPWM2NzRlNWNjZWJhMWYyY2YwZDdl YTc5ZGE2NmNmMzFmMTEzMWU4NmM0MWNkNjZhMjMzMDg5MGY3NDMyN2MwZTEKK21ha2VfY2hlY2s9 bm8gIyByZXF1aXJlcyBodHRwcmV0dHkKCkZyb20gNWU0ODc2YzY0MjU1NDY2MDIyYWM3NzZhMDIw M2U4ZjRhZWFiNjhmZiBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJvbTogT21hciBaZWdob3Vh bmkgPG9tYXJ6ZWdob3VhbmlpQGdtYWlsLmNvbT4KRGF0ZTogU2F0LCAxNiBPY3QgMjAyMSAxMzox MzoyMSArMDEwMApTdWJqZWN0OiBbUEFUQ0ggMy80XSBOZXcgcGFja2FnZTogcHl0aG9uMy1weWRv dC0xLjQuMgoKLS0tCiBzcmNwa2dzL3B5dGhvbjMtcHlkb3QvdGVtcGxhdGUgfCAxOSArKysrKysr KysrKysrKysrKysrCiAxIGZpbGUgY2hhbmdlZCwgMTkgaW5zZXJ0aW9ucygrKQogY3JlYXRlIG1v ZGUgMTAwNjQ0IHNyY3BrZ3MvcHl0aG9uMy1weWRvdC90ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL3Ny Y3BrZ3MvcHl0aG9uMy1weWRvdC90ZW1wbGF0ZSBiL3NyY3BrZ3MvcHl0aG9uMy1weWRvdC90ZW1w bGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMDAuLjM3OTZkZmRkYzBh MAotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvcHl0aG9uMy1weWRvdC90ZW1wbGF0ZQpAQCAt MCwwICsxLDE5IEBACisjIFRlbXBsYXRlIGZpbGUgZm9yICdweXRob24zLXB5ZG90JworcGtnbmFt ZT1weXRob24zLXB5ZG90Cit2ZXJzaW9uPTEuNC4yCityZXZpc2lvbj0xCit3cmtzcmM9cHlkb3Qt JHt2ZXJzaW9ufQorYnVpbGRfc3R5bGU9cHl0aG9uMy1tb2R1bGUKK2hvc3RtYWtlZGVwZW5kcz0i cHl0aG9uMy1zZXR1cHRvb2xzIgorZGVwZW5kcz0icHl0aG9uLXBhcnNpbmciCitjaGVja2RlcGVu ZHM9InB5dGhvbjMtcGlwIHB5dGhvbjMtd2hlZWwgcHl0aG9uMy1jaGFyZGV0Igorc2hvcnRfZGVz Yz0iUHl0aG9uIGludGVyZmFjZSB0byBHcmFwaHZpeidzIERvdCIKK21haW50YWluZXI9Ik9tYXIg WmVnaG91YW5pIDxvbWFyemVnaG91YW5paUBnbWFpbC5jb20+IgorbGljZW5zZT0iTUlUIgoraG9t ZXBhZ2U9Imh0dHBzOi8vZ2l0aHViLmNvbS9weWRvdC9weWRvdCIKK2Rpc3RmaWxlcz0iaHR0cHM6 Ly9naXRodWIuY29tL3B5ZG90L3B5ZG90L2FyY2hpdmUvdiR7dmVyc2lvbn0udGFyLmd6IgorY2hl Y2tzdW09YTk5MmUwMTY3OWFlNzgyYjA4YzE1MWIzMjk3NTRkNmQ5YWVkNjFhYTBhYTgxNDdhMzgw NzU1MmNmZTJhZGNmOQorCitwb3N0X2luc3RhbGwoKSB7CisJdmxpY2Vuc2UgTElDRU5TRQorfQoK RnJvbSA4MjIyZjIyNGNiZDNlYzM2MDRhOTUwZDJkN2I2NWRlZjlkMWRhNzdiIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBPbWFyIFplZ2hvdWFuaSA8b21hcnplZ2hvdWFuaWlAZ21haWwu Y29tPgpEYXRlOiBTYXQsIDE2IE9jdCAyMDIxIDEzOjEzOjM1ICswMTAwClN1YmplY3Q6IFtQQVRD SCA0LzRdIE5ldyBwYWNrYWdlOiBtYXRobGlidG9vbHMtMS4xLjAKCi0tLQogc3JjcGtncy9tYXRo bGlidG9vbHMvdGVtcGxhdGUgfCAxOCArKysrKysrKysrKysrKysrKysKIDEgZmlsZSBjaGFuZ2Vk LCAxOCBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9tYXRobGlidG9v bHMvdGVtcGxhdGUKCmRpZmYgLS1naXQgYS9zcmNwa2dzL21hdGhsaWJ0b29scy90ZW1wbGF0ZSBi L3NyY3BrZ3MvbWF0aGxpYnRvb2xzL3RlbXBsYXRlCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4 IDAwMDAwMDAwMDAwMC4uYTcxYzYxYjI5MzYwCi0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9t YXRobGlidG9vbHMvdGVtcGxhdGUKQEAgLTAsMCArMSwxOCBAQAorIyBUZW1wbGF0ZSBmaWxlIGZv ciAnbWF0aGxpYnRvb2xzJworcGtnbmFtZT1tYXRobGlidG9vbHMKK3ZlcnNpb249MS4xLjAKK3Jl dmlzaW9uPTEKK3dya3NyYz1tYXRobGliLXRvb2xzLSR7dmVyc2lvbn0KK2J1aWxkX3N0eWxlPXB5 dGhvbjMtbW9kdWxlCitob3N0bWFrZWRlcGVuZHM9InB5dGhvbjMtc2V0dXB0b29scyIKK2RlcGVu ZHM9InB5dGhvbjMtdG9tbCBweXRob24zLVB5R2l0aHViIHB5dGhvbjMtY2VydGlmaSBweXRob24z LUdpdFB5dGhvbgorIHB5dGhvbjMtcmVxdWVzdHMgcHl0aG9uMy1jbGljayBweXRob24zLXRxZG0g cHl0aG9uMy1uZXR3b3JreCBweXRob24zLXB5ZG90CisgcHl0aG9uMy15YW1sIHB5dGhvbjMtYXRv bWljd3JpdGVzIHB5dGhvbjMtcGFyYW1pa28iCitjaGVja2RlcGVuZHM9InB5dGhvbjMtcGlwIHB5 dGhvbjMtd2hlZWwgZ2l0Igorc2hvcnRfZGVzYz0iU3VwcG9ydGluZyB0b29sIGZvciBMZWFuIG1h dGhsaWIiCittYWludGFpbmVyPSJPbWFyIFplZ2hvdWFuaSA8b21hcnplZ2hvdWFuaWlAZ21haWwu Y29tPiIKK2xpY2Vuc2U9IkFwYWNoZS0yLjAiCitob21lcGFnZT0iaHR0cHM6Ly9naXRodWIuY29t L2xlYW5wcm92ZXItY29tbXVuaXR5L21hdGhsaWItdG9vbHMiCitjaGFuZ2Vsb2c9Imh0dHBzOi8v cmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbS9sZWFucHJvdmVyLWNvbW11bml0eS9tYXRobGliLXRv b2xzL21hc3Rlci9DSEFOR0VMT0cubWQiCitkaXN0ZmlsZXM9Imh0dHBzOi8vZ2l0aHViLmNvbS9s ZWFucHJvdmVyLWNvbW11bml0eS9tYXRobGliLXRvb2xzL2FyY2hpdmUvdiR7dmVyc2lvbn0udGFy Lmd6IgorY2hlY2tzdW09ZjI0ODFiNDU0NWZkYWQwODc4MDI0OGRiMGZlMWM4NzllMzc4OGMwMDBl ZGEwMTQ0MzMzMzgyMjgyNTVlNzZhZAo= --===============8316577385991635919==--